Chris de Graaf 5a8934350c Disable pretty urls except in CI		2019-11-01 09:41:22 +07:00
..
AllPlugins	Disable pretty urls except in CI	2019-11-01 09:41:22 +07:00
Basic	Move the default plugins into their own files, fix some bugs	2019-09-26 00:32:06 +07:00
WackyOptions	Disable pretty urls except in CI	2019-11-01 09:41:22 +07:00
static.txt	Add another set of reference tests, fix a bug they found	2019-09-28 10:31:55 +07:00