/browser/devtools/projecteditor/lib/
drwxr-xr-x [up]
drwxr-xr-x helpers
drwxr-xr-x plugins
drwxr-xr-x stores
-rw-r--r-- 2014-09-18 17:20 +1200 8644 editors.js
-rw-r--r-- 2014-09-18 17:20 +1200 6858 project.js
-rw-r--r-- 2014-09-18 17:20 +1200 25095 projecteditor.js
-rw-r--r-- 2014-09-18 17:20 +1200 6571 shells.js
-rw-r--r-- 2014-09-18 17:20 +1200 14317 tree.js