directory /scripts/prefs/ @ 25289:ff59be58f028 stable rc-4-3-91

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file addpref.m 3635 -rw-r--r--
file getpref.m 5477 -rw-r--r--
file ispref.m 2875 -rw-r--r--
file module.mk 766 -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 3300 -rw-r--r--