Fix for resetting history when switching games.
tree5df3dc7b291509dbb9122934cb7ef5374743e7a0
-rw-r--r-- 17989 COPYING
-rw-r--r-- 9284 INSTALL
-rw-r--r-- 444 KnownBugs
-rw-r--r-- 51 Makefile.am
-rw-r--r-- 8128 NEWS
-rw-r--r-- 612 README
-rw-r--r-- 58 THANKS
-rw-r--r-- 851 TODO
-rw-r--r-- 660 TODO.GIT-EXP
-rwxr-xr-x 2413 autogen.sh
-rw-r--r-- 4252 configure.ac
drwxr-xr-x - data
drwxr-xr-x - doc
drwxr-xr-x - src
drwxr-xr-x - test