| Name | Size | Permissions | Actions |
|---|---|---|---|
| ð prefs.html | 1.503K | -rw-r--r-- | |
| ð prefs_advanced.html | 1.243K | -rw-r--r-- | |
| ð prefs_datetime.html | 1.8K | -rw-r--r-- | |
| ð prefs_general.html | 1.251K | -rw-r--r-- | |
| ð prefs_keybindings.html | 1.021K | -rw-r--r-- | |
| ð prefs_pygments.html | 1.667K | -rw-r--r-- |