]> git.pond.sub.org Git - empserver/commit
info: Split Empire4 into Empire4.0, Empire4.2, Empire4.3
authorMarkus Armbruster <armbru@pond.sub.org>
Fri, 11 Aug 2017 19:39:03 +0000 (21:39 +0200)
committerMarkus Armbruster <armbru@pond.sub.org>
Sat, 12 Aug 2017 07:32:00 +0000 (09:32 +0200)
commit25a7ae30683a46e727ec23f198bdd8b797dd907f
tree5d822f124e846b3efe9fab8d943be77771d57648
parent54f54ac08147cd98c051481dfbf069c8de4181c2
info: Split Empire4 into Empire4.0, Empire4.2, Empire4.3

"info Empire4" has become unwieldy: more than 4000 lines, almost a
quarter of a Megabyte.  Split it up.

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
doc/README
info/Empire4.0.t [new file with mode: 0644]
info/Empire4.2.t [new file with mode: 0644]
info/Empire4.3.t [new file with mode: 0644]
info/Empire4.t [deleted file]