summaryrefslogtreecommitdiffstats
path: root/package/divine
ModeNameSize
-rw-r--r--Config.in378logstatsplain
-rw-r--r--divine.mk355logstatsplain
OpenPOWER on IntegriCloud