/browser/devtools/projecteditor/lib/
drwxr-xr-x [up]
drwxr-xr-x helpers
drwxr-xr-x plugins
drwxr-xr-x stores
-rw-r--r-- 2014-06-11 12:08 -0700 7688 editors.js
-rw-r--r-- 2014-06-11 12:08 -0700 6427 project.js
-rw-r--r-- 2014-06-11 12:08 -0700 18922 projecteditor.js
-rw-r--r-- 2014-06-11 12:08 -0700 5801 shells.js
-rw-r--r-- 2014-06-11 12:08 -0700 15405 tree.js