directory /scripts/prefs/ @ 27919:1891570abac8

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file addpref.m 3808 -rw-r--r--
file getpref.m 5646 -rw-r--r--
file ispref.m 3048 -rw-r--r--
file module.mk 766 -rw-r--r--
file prefdir.m 1601 -rw-r--r--
file preferences.m 1342 -rw-r--r--
file rmpref.m 3713 -rw-r--r--
file setpref.m 3423 -rw-r--r--