directory /scripts/help/ @ 15564:b66be1cb12ca default tip

name size permissions
[up] drwxr-xr-x
dir. private/ drwxr-xr-x
file __makeinfo__.m 4954 -rw-r--r--
file __unimplemented__.m 8760 -rw-r--r--
file doc.m 3228 -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 507 -rw-r--r--
file print_usage.m 4952 -rw-r--r--
file type.m 3831 -rw-r--r--
file which.m 1924 -rw-r--r--