Chris de Graaf 5aa0a87c35 Remove /docs/site from Documenter's gitignore		2019-09-26 10:42:03 +07:00
..
AllPlugins	Remove /docs/site from Documenter's gitignore	2019-09-26 10:42:03 +07:00
Basic	Move the default plugins into their own files, fix some bugs	2019-09-26 00:32:06 +07:00