directory /scripts/prefs/ @ 23225:1327ea4f5a93 stable release-4-2-1

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file addpref.m 3634 -rw-r--r--
file getpref.m 5359 -rw-r--r--
file ispref.m 2874 -rw-r--r--
file module.mk 821 -rw-r--r--
file prefdir.m 1461 -rw-r--r--
file preferences.m 1196 -rw-r--r--
file rmpref.m 3539 -rw-r--r--
file setpref.m 3185 -rw-r--r--