Daniel Rudolf de74e7d867 Improve class docs		2017-07-14 20:50:38 +02:00
..
.gitignore	Move PicoDeprecated plugin and default theme to separate repos	2017-05-01 22:12:18 +02:00
DummyPlugin.php	Improve class docs	2017-07-14 20:50:38 +02:00