|
|
43c511e8ad
|
(rnd_seed, main, parse_args, allocate_memory): New option -R to set
the PRNG seed. Print the seed. From Marc Olzheim.
|
2004-03-23 14:54:48 +00:00 |
|
|
|
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 |
|
|
|
3a1ef7d9b1
|
Protect space between option and option arg, so that typesetting doesn't
swallow it.
|
2004-01-30 21:11:11 +00:00 |
|
|
|
d8b7fdfae1
|
Import of Empire 4.2.12
|
2003-08-23 12:23:04 +00:00 |
|
