| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2017-09-06 17:47 +0200 | 512 | devtools.js | file | revisions | annotate |
| -rw-r--r-- | 2017-09-06 17:47 +0200 | 1111 | gDevTools.jsm | file | revisions | annotate |
| -rw-r--r-- | 2017-09-06 17:47 +0200 | 560 | moz.build | file | revisions | annotate |