2 commits

Author	SHA1	Message	Date
Markus Armbruster	d3de388ad4	Drop a a few accidentally repeated words ... Signed-off-by: Markus Armbruster <armbru@pond.sub.org>	2017-08-12 09:32:01 +02:00
Markus Armbruster	25a7ae3068	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>	2017-08-12 09:32:00 +02:00