directory /plugins/managesieve/codemirror/addon/selection/ @ 0:1e000243b222

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--