John Donaldson 8f8014e6ff Adding name to credits		2019-01-22 12:10:51 -08:00
..
CREDITS.md	Adding name to credits	2019-01-22 12:10:51 -08:00
devel-server.md	Complain when there are no puzzle directories	2018-10-11 00:03:52 +00:00
dirtbags.svg	Github wants docs/, not doc/	2016-10-25 02:51:55 +00:00
overview.md	Documentation updates	2018-09-20 16:15:34 +00:00
philosophy.md	Devel server using themes	2018-10-03 01:21:54 +00:00
tokens.md	Update "tokens" document	2017-10-03 15:35:15 -06:00
writing-puzzles.md	Make "writing-puzzles" up to date	2017-10-03 15:32:37 -06:00