Daniel Rudolf 61319b011e Add license/copyright file header; improve phpDoc class docs		2017-10-19 21:55:41 +02:00
..
.gitignore	Move PicoDeprecated plugin and default theme to separate repos	2017-05-01 22:12:18 +02:00
DummyPlugin.php	Add license/copyright file header; improve phpDoc class docs	2017-10-19 21:55:41 +02:00