No description
Find a file
2017-04-09 21:45:08 +02:00
web Include description in search, add sort option 'relevant' to sort by search result relevancy 2017-04-09 21:45:08 +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 Implement almost all the edit requests 2017-04-09 20:04:42 +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