aboutsummaryrefslogtreecommitdiffstats
path: root/lang/maude/files
ModeNameSize
-rw-r--r--patch-maude-data-dir.diff1241logstatsplainblame
-rw-r--r--patch-src-Main-Makefile.in12715logstatsplainblame