directory /scripts/help/ @ 15545:6a4e79110857 stable

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file __makeinfo__.m 4957 -rw-r--r--
file doc.m 3228 -rw-r--r--
file gen_doc_cache.m 3994 -rw-r--r--
file get_first_help_sentence.m 6341 -rw-r--r--
file help.m 5326 -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 3828 -rw-r--r--
file unimplemented.m 7909 -rw-r--r--
file which.m 1916 -rw-r--r--