player: Added map redraw flag
-rw-r--r-- 12 .gitattributes
-rw-r--r-- 633 .gitignore
-rw-r--r-- 90 .gitmodules
-rw-r--r-- 129 BUGS.md
-rw-r--r-- 1086 LICENSE
-rw-r--r-- 923 README.md
-rw-r--r-- 18 RULES.md
-rw-r--r-- 622 STORY.md
-rw-r--r-- 906 TODO.md
m--------- - assets
-rw-r--r-- 697 makefile
drwxr-xr-x - man
drwxr-xr-x - maps
drwxr-xr-x - src
drwxr-xr-x - tiles
drwxr-xr-x - tools