directory /scripts/prefs/ @ 21189:47765afaf131

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 829 -rw-r--r--
file preferences.m 1197 -rw-r--r--
file rmpref.m 3537 -rw-r--r--
file setpref.m 3186 -rw-r--r--