directory /scripts/prefs/ @ 20595:c1a6c31ac29a

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file addpref.m 2492 -rw-r--r--
file getpref.m 3292 -rw-r--r--
file ispref.m 1895 -rw-r--r--
file module.mk 821 -rw-r--r--
file prefdir.m 1280 -rw-r--r--
file preferences.m 1102 -rw-r--r--
file rmpref.m 2562 -rw-r--r--
file setpref.m 2231 -rw-r--r--