aboutsummaryrefslogtreecommitdiff
path: root/package/divine
ModeNameSize
-rw-r--r--Config.in378logplain
-rw-r--r--divine.mk355logplain