add "dumpmap", to dump the map state
tree791c2488f3da18f40ef32c368da2d78bf05ec52e
-rw-r--r-- 86 .gitignore
-rw-r--r-- 742 BUGS-fixed.md
-rw-r--r-- 0 BUGS.md
-rw-r--r-- 1499 LICENSE
-rw-r--r-- 609 README.md
-rw-r--r-- 869 TODO.md
-rw-r--r-- 288 dub.json
drwxr-xr-x - src
-rw-r--r-- 2170 style.txt