/browser/devtools/sourceeditor/
drwxr-xr-x [up]
drwxr-xr-x orion
drwxr-xr-x test
-rw-r--r-- 2013-08-16 23:07 +0100 440 moz.build
-rw-r--r-- 2013-08-16 23:07 +0100 64843 source-editor-orion.jsm
-rw-r--r-- 2013-08-16 23:07 +0100 7392 source-editor-overlay.xul
-rw-r--r-- 2013-08-16 23:07 +0100 8968 source-editor-ui.jsm
-rw-r--r-- 2013-08-16 23:07 +0100 13271 source-editor.jsm