Remove generated doc files from git
authorSteve McIntyre <steve@einval.com>
Thu, 31 Oct 2019 18:13:17 +0000 (18:13 +0000)
committerSteve McIntyre <steve@einval.com>
Thu, 31 Oct 2019 18:13:17 +0000 (18:13 +0000)
commitc63c53ed4714afe2bf42396af8494c1bfc825cbb
tree14ec5eca5ec47882cb211e0db180f982308a6660
parent66782fad4490a0f72acd49262116b2adee347c10
Remove generated doc files from git
doc/debian-jigdo-mini-howto.html [deleted file]
doc/jigdo-file.1 [deleted file]
doc/jigdo-file.html [deleted file]
doc/jigdo-lite.1 [deleted file]
doc/jigdo-lite.html [deleted file]
doc/jigdo-mirror.1 [deleted file]
doc/jigdo-mirror.html [deleted file]
doc/jigdo.1 [deleted file]
doc/jigdo.html [deleted file]