/extensions/inspector/resources/
drwxr-xr-x [up]
drwxr-xr-x search
drwxr-xr-x viewers
-rw-r--r-- 2018-02-28 17:09 +0100 593 editing.dtd
-rw-r--r-- 2018-02-28 17:09 +0100 1975 inspector.dtd
-rw-r--r-- 2018-02-28 17:09 +0100 2644 inspector.properties
-rw-r--r-- 2018-02-28 17:09 +0100 1108 prefs.dtd
-rw-r--r-- 2018-02-28 17:09 +0100 284 tasksOverlay.dtd