Pico/plugins
2022-03-03 22:02:51 +01:00
..
.gitignore Move PicoDeprecated plugin and default theme to separate repos 2017-05-01 22:12:18 +02:00
DummyPlugin.php DummyPlugin: Encourage devs to use PHP strict typing 2022-03-03 22:02:51 +01:00