Daniel Rudolf 87ced8c8bd Improve phpDoc class docs		2019-10-01 13:29:16 +02:00
..
.gitignore	Move PicoDeprecated plugin and default theme to separate repos	2017-05-01 22:12:18 +02:00
DummyPlugin.php	Improve phpDoc class docs	2019-10-01 13:29:16 +02:00