aboutsummaryrefslogtreecommitdiffstats
path: root/package/divine
ModeNameSize
-rw-r--r--Config.in378logstatsplain
-rw-r--r--divine.mk638logstatsplain