3 commits

Author	SHA1	Message	Date
Markus Armbruster	1d004f2f33	Remove outdated version information for now. Keeping it up-to-date by ... hand is too much work; should be automated.	2004-01-30 21:49:54 +00:00
Markus Armbruster	3a1ef7d9b1	Protect space between option and option arg, so that typesetting doesn't ... swallow it.	2004-01-30 21:11:11 +00:00
Markus Armbruster	d8b7fdfae1	Import of Empire 4.2.12	2003-08-23 12:23:04 +00:00