/browser/devtools/projecteditor/lib/
drwxr-xr-x [up]
drwxr-xr-x helpers
drwxr-xr-x plugins
drwxr-xr-x stores
-rw-r--r-- 2015-09-07 15:03 -0700 8757 editors.js
-rw-r--r-- 2015-09-07 15:03 -0700 6820 project.js
-rw-r--r-- 2015-09-07 15:03 -0700 25207 projecteditor.js
-rw-r--r-- 2015-09-07 15:03 -0700 6571 shells.js
-rw-r--r-- 2015-09-07 15:03 -0700 15073 tree.js