Chris d940a94611 Plugin manager, misc fixes ... * Fixed an error when trying to create nonexisting resource type * Updated the init-command to create plugins and scipts directories * Added a basic installer function		2021-12-09 00:12:37 +01:00
..
Command.php	Initial commit	2021-12-07 17:26:34 +01:00
InitCommand.php	Plugin manager, misc fixes	2021-12-09 00:12:37 +01:00
PluginsCommand.php	Plugin manager, misc fixes	2021-12-09 00:12:37 +01:00
ReplCommand.php	Initial commit	2021-12-07 17:26:34 +01:00
ResourcesCommand.php	Initial commit	2021-12-07 17:26:34 +01:00
RunCommand.php	Improved runtime and script classes	2021-12-08 04:05:55 +01:00