Roland Rytz dd92df8ae6 Sort results alphabetically if they're of the same relevance		2017-04-09 22:00:22 +02:00
web	Sort results alphabetically if they're of the same relevance	2017-04-09 22:00:22 +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	Sort results alphabetically if they're of the same relevance	2017-04-09 22:00:22 +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