directory /scripts/deprecated/ @ 18070:ff05d5b70411

name size permissions
[up] drwxr-xr-x
file find_dir_in_path.m 1378 -rw-r--r--
file isstr.m 1299 -rw-r--r--
file java_new.m 1631 -rw-r--r--
file module.mk 233 -rw-r--r--