No description
Find a file
2017-04-12 17:17:00 +02:00
web Group areas in increments of 10 instead of 7.5 2017-04-12 17:17:00 +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
area-chart.png Group areas in increments of 10 instead of 7.5 2017-04-12 17:17:00 +02:00
area-chart.svg Group areas in increments of 10 instead of 7.5 2017-04-12 17:17:00 +02:00
combine.sh Split about.html to separate file 2017-04-06 12:26:49 +02:00
combined.js Add some more entries, make outline for the green lattice more precise 2017-04-12 16:05:22 +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
smallifier.html Add loading screen 2017-04-10 17:57:13 +02:00
users.py Implement pinch zoom in a heroic six-hour battle 2017-04-08 03:27:51 +02:00