diff options
| author | Daniel Kesselberg <mail@danielkesselberg.de> | 2019-10-09 15:34:05 +0300 |
|---|---|---|
| committer | Daniel Kesselberg <mail@danielkesselberg.de> | 2019-10-09 15:34:05 +0300 |
| commit | 99358d70e88e42af72a38154945efa71229779c3 (patch) | |
| tree | 4c43db5c8f4d5aedecabfbe181d8b3f5cc00d7cf /build | |
| parent | f4aad082e73a9c08403592f77a30f4760056553e (diff) | |
Remove settings/ from phan
settings is a app now. so the directory does not exist.
Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
Diffstat (limited to 'build')
| -rw-r--r-- | build/.phan/config.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/build/.phan/config.php b/build/.phan/config.php index 17ba333718e..04722d5b06d 100644 --- a/build/.phan/config.php +++ b/build/.phan/config.php @@ -24,7 +24,6 @@ return [ 'lib/composer', 'ocs-provider/', 'ocs/', - 'settings/', 'tests/lib/Util/User', 'themes', ], |