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