]> git.zerfleddert.de Git - micropolis/tree
add button to hide mini-map
-rw-r--r-- 331 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 4426 Makefile
-rwxr-xr-x 3365 Micropolis
-rw-r--r-- 288 Micropolis.desktop
-rw-r--r-- 1326 Micropolis.png
-rw-r--r-- 6085 README
-rw-r--r-- 0 __init__.py
drwxr-xr-x - activity
drwxr-xr-x - cities
drwxr-xr-x - images
drwxr-xr-x - manual
-rw-r--r-- 10937 micropolisactivity.py
drwxr-xr-x - res
drwxr-xr-x - src
Impressum, Datenschutz