6 commits

Author	SHA1	Message	Date
Markus Armbruster	4f59fc9967	Remove a bunch of redundant casts.	2005-06-12 06:31:48 +00:00
Markus Armbruster	345ad3dfe0	Update copyright notice.	2005-03-16 22:03:16 +00:00
Marc Olzheim	c6ef918f3a	Cleanup #includes of (mostly a long time) unused header files. ... No functional changes.	2004-12-13 16:47:13 +00:00
Markus Armbruster	fac342ed49	Update copyright notice.	2004-09-07 15:07:16 +00:00
Markus Armbruster	9b7adfbecc	Indented with src/scripts/indent-emp.	2003-09-02 20:48:48 +00:00
Markus Armbruster	d8b7fdfae1	Import of Empire 4.2.12	2003-08-23 12:23:04 +00:00