directory /plugins/managesieve/codemirror/addon/selection/ @ 39:ee07fb3afb1b

name size permissions
[up] drwxr-xr-x
file active-line.js 2624 -rw-r--r--
file mark-selection.js 3781 -rw-r--r--
file selection-pointer.js 3292 -rw-r--r--