diff options
Diffstat (limited to 'psalm.xml')
| -rw-r--r-- | psalm.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/psalm.xml b/psalm.xml index f0198ee745e..859e510f412 100644 --- a/psalm.xml +++ b/psalm.xml @@ -43,7 +43,6 @@ <directory name="apps/workflowengine"/> <directory name="core"/> <directory name="lib"/> - <directory name="ocm-provider"/> <directory name="ocs"/> <directory name="ocs-provider"/> <file name="index.php"/> |