directory /scripts/prefs/ @ 16062:cc5a7d1233f3 stable rc-3-6-4-2

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file addpref.m 2479 -rw-r--r--
file getpref.m 3157 -rw-r--r--
file ispref.m 1832 -rw-r--r--
file module.mk 397 -rw-r--r--
file rmpref.m 1856 -rw-r--r--
file setpref.m 2218 -rw-r--r--