directory /scripts/prefs/ @ 29734:9d70a797d54a stable rc-6-2-90

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file addpref.m 3952 -rw-r--r--
file getpref.m 5790 -rw-r--r--
file ispref.m 3192 -rw-r--r--
file module.mk 761 -rw-r--r--
file prefdir.m 1719 -rw-r--r--
file preferences.m 1460 -rw-r--r--
file rmpref.m 3857 -rw-r--r--
file setpref.m 3567 -rw-r--r--