directory /scripts/help/ @ 15489:481417a57a2d

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file __makeinfo__.m 4954 -rw-r--r--
file doc.m 3230 -rw-r--r--
file gen_doc_cache.m 4305 -rw-r--r--
file get_first_help_sentence.m 6645 -rw-r--r--
file help.m 5832 -rw-r--r--
file lookfor.m 6773 -rw-r--r--
file module.mk 503 -rw-r--r--
file print_usage.m 4813 -rw-r--r--
file type.m 3831 -rw-r--r--
file unimplemented.m 7740 -rw-r--r--
file which.m 1924 -rw-r--r--