| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2016-10-18 16:05 +0100 | 5871 | brackets_extended_styles | file | revisions | annotate |
| -rw-r--r-- | 2016-10-18 16:05 +0100 | 831 | file_completion | file | revisions | annotate |
| -rw-r--r-- | 2016-10-18 16:05 +0100 | 1691 | folding | file | revisions | annotate |
| -rw-r--r-- | 2016-10-18 16:05 +0100 | 932 | gutter | file | revisions | annotate |