summaryrefslogtreecommitdiffstats
path: root/package/divine
ModeNameSize
-rw-r--r--Config.in336logstatsplain
-rw-r--r--divine.mk622logstatsplain