/browser/devtools/projecteditor/lib/
drwxr-xr-x [up]
drwxr-xr-x helpers
drwxr-xr-x plugins
drwxr-xr-x stores
-rw-r--r-- 2015-08-18 11:12 +0800 8656 editors.js
-rw-r--r-- 2015-08-18 11:12 +0800 6820 project.js
-rw-r--r-- 2015-08-18 11:12 +0800 25122 projecteditor.js
-rw-r--r-- 2015-08-18 11:12 +0800 6571 shells.js
-rw-r--r-- 2015-08-18 11:12 +0800 15073 tree.js