/src-util/diagnostic/
drwxr-xr-x [up]
drwxr-xr-x .settings
drwxr-xr-x WebContent
drwxr-xr-x build
drwxr-xr-x config
drwxr-xr-x src
-rw-r--r-- 2019-02-06 14:36 +0100 621 .classpath
-rw-r--r-- 2019-02-06 14:36 +0100 1017 .project
-rw-r--r-- 2019-02-06 14:36 +0100 2482 build-create.xml
-rw-r--r-- 2019-02-06 14:36 +0100 8856 build.xml
-rw-r--r-- 2019-02-06 14:36 +0100 2442 check-ob-perms.sh