directory /plugins/managesieve/codemirror/addon/selection/ @ 41:d2414df68d78

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