update Debian packaging
[diogenes.git] / include / Plugin /
drwxr-xr-x   ..
-rw-r--r-- 8224 Editor.php
-rw-r--r-- 2527 Filter.php
-rw-r--r-- 1407 Render.php
-rw-r--r-- 4236 Skel.php