directory /scripts/general/private/ @ 15536:2e8eb9ac43a5 stable rc-3-6-4-0

name size permissions
[up] drwxr-xr-x
file __isequal__.m 5382 -rw-r--r--
file __splinen__.m 1750 -rw-r--r--