| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| addon | Folder | 0755 | Edit | Rename | Chmod | Delete | |
| display | Folder | 0755 | Edit | Rename | Chmod | Delete | |
| edit | Folder | 0755 | Edit | Rename | Chmod | Delete | |
| input | Folder | 0755 | Edit | Rename | Chmod | Delete | |
| line | Folder | 0755 | Edit | Rename | Chmod | Delete | |
| measurement | Folder | 0755 | Edit | Rename | Chmod | Delete | |
| model | Folder | 0755 | Edit | Rename | Chmod | Delete | |
| util | Folder | 0755 | Edit | Rename | Chmod | Delete | |
| codemirror.js | File | 71 B | 0644 | Edit | Rename | Chmod | Delete |
| modes.js | File | 3.17 KB | 0644 | Edit | Rename | Chmod | Delete |