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>
This commit is contained in:
Markus Armbruster 2017-08-11 21:39:03 +02:00
parent 54f54ac081
commit 25a7ae3068
4 changed files with 1928 additions and 1908 deletions

View file

@ -62,7 +62,7 @@ CHANGES3.0
There is no detailed revision history for versions 4.0.0 to
4.2.12. Since 4.2.12, detailed history is in the revision
control system, currently Git. The version meant for deities
and players is in "info Empire4".
and players is in "info Empire4.0", "info Empire4.2", ...
WISH_LIST
things which maybe should be coded sometime.