Daniel Rudolf 17aba01513 Various small improvements		2019-09-12 12:42:01 +02:00
..
.gitignore	Move PicoDeprecated plugin and default theme to separate repos	2017-05-01 22:12:18 +02:00
DummyPlugin.php	Various small improvements	2019-09-12 12:42:01 +02:00