directory /scripts/prefs/ @ 22519:9d5062749814 rc-4-2-0-2

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file addpref.m 3635 -rw-r--r--
file getpref.m 5360 -rw-r--r--
file ispref.m 2875 -rw-r--r--
file module.mk 821 -rw-r--r--
file prefdir.m 1462 -rw-r--r--
file preferences.m 1197 -rw-r--r--
file rmpref.m 3540 -rw-r--r--
file setpref.m 3186 -rw-r--r--