directory /scripts/prefs/ @ 15489:481417a57a2d

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file addpref.m 2480 -rw-r--r--
file getpref.m 3158 -rw-r--r--
file ispref.m 1832 -rw-r--r--
file module.mk 397 -rw-r--r--
file rmpref.m 2567 -rw-r--r--
file setpref.m 2219 -rw-r--r--