summaryrefslogtreecommitdiff
path: root/devel/ml-doc/files
ModeNameSize
-rw-r--r--lib-Makefile703logplainblame
-rw-r--r--mkdoc.1.in2561logplainblame
-rw-r--r--ml-doc.1.in46337logplainblame
-rw-r--r--patch-Makefile.in464logplainblame
-rw-r--r--patch-config-install-sml-wrapper_sh.in1227logplainblame
-rw-r--r--patch-configure1554logplainblame
-rw-r--r--patch-tools-html-gen-do_spec.sml417logplainblame
-rw-r--r--patch-tools-lib-latex-text_to_latex.sml498logplainblame