/server/src/app/Console/Commands/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2018-03-20 15:02 +0100 20023 ImportCocoonRDF.php
-rw-r--r-- 2018-03-20 15:02 +0100 24837 IndexDocuments.php
-rw-r--r-- 2018-03-20 15:02 +0100 585 Inspire.php
-rw-r--r-- 2018-03-20 15:02 +0100 5776 ManageHandles.php