Pico/plugins
2020-04-10 23:14:33 +02:00
..
.gitignore Move PicoDeprecated plugin and default theme to separate repos 2017-05-01 22:12:18 +02:00
DummyPlugin.php Fix DummyPlugin declaring API version 3 2020-04-10 23:14:33 +02:00