directory /scripts/prefs/ @ 18479:85d31344fb23 stable rc-3-8-1-2

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file addpref.m 2487 -rw-r--r--
file getpref.m 3165 -rw-r--r--
file ispref.m 1839 -rw-r--r--
file module.mk 441 -rw-r--r--
file prefdir.m 1271 -rw-r--r--
file preferences.m 1098 -rw-r--r--
file rmpref.m 2572 -rw-r--r--
file setpref.m 2226 -rw-r--r--