directory /scripts/prefs/ @ 22761:708a4fcb7382 stable release-4-2-0

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--