Version bump for external release 1.13 1.13
-rw-r--r-- 52 .gitignore
-rw-r--r-- 68 AUTHORS
-rw-r--r-- 28528 BUGS
-rw-r--r-- 17996 COPYING
-rw-r--r-- 3236 HACKING
-rw-r--r-- 3210 Makefile
-rw-r--r-- 6062 NEWS
-rw-r--r-- 806 README
-rw-r--r-- 5580 attack.c
-rw-r--r-- 31337 compmove.c
-rw-r--r-- 855 control
-rw-r--r-- 7503 data.c
-rw-r--r-- 15792 display.c
-rw-r--r-- 11283 edit.c
-rw-r--r-- 6756 empire.c
-rw-r--r-- 351 empire.desktop
-rw-r--r-- 8548 empire.h
-rw-r--r-- 8149 extern.h
-rw-r--r-- 21833 game.c
-rw-r--r-- 2363 main.c
-rw-r--r-- 31529 map.c
-rw-r--r-- 1953 math.c
-rw-r--r-- 14373 object.c
-rw-r--r-- 7544 term.c
-rw-r--r-- 26339 usermove.c
-rw-r--r-- 5696 util.c
-rw-r--r-- 208 vms-empire.desktop
-rw-r--r-- 6700 vms-empire.png
-rw-r--r-- 41400 vms-empire.xml