No description
Find a file
2017-04-10 15:16:34 +02:00
web Fix another zooming bug 2017-04-10 15:16:34 +02:00
.gitignore Implement script to fetch the names of all users who contributed 2017-04-05 02:53:39 +02:00
allCharacters.py Make zooming more fluid, fix font by including DejaVu Sans as a webfont 2017-04-08 05:57:12 +02:00
allCharacters.txt Make zooming more fluid, fix font by including DejaVu Sans as a webfont 2017-04-08 05:57:12 +02:00
combine.sh Split about.html to separate file 2017-04-06 12:26:49 +02:00
combined.js Fix another zooming bug 2017-04-10 15:16:34 +02:00
license.txt Filter displayed polygons on search input 2017-04-09 22:22:06 +02:00
redditcrawl.py Implement pinch zoom in a heroic six-hour battle 2017-04-08 03:27:51 +02:00
shrinkFont.py Make zooming more fluid, fix font by including DejaVu Sans as a webfont 2017-04-08 05:57:12 +02:00
users.py Implement pinch zoom in a heroic six-hour battle 2017-04-08 03:27:51 +02:00