empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
84 commits 12 branches 77 tags 15 MiB
Commit graph

2 commits

Author SHA1 Message Date
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