Chris de Graaf 2a5fb5ccc8 Move the default plugins into their own files, fix some bugs		2019-09-26 00:32:06 +07:00
..
AllPlugins.jl	Move the default plugins into their own files, fix some bugs	2019-09-26 00:32:06 +07:00