summaryrefslogtreecommitdiff
path: root/package/divine
ModeNameSize
-rw-r--r--Config.in336logplain
-rw-r--r--divine.mk622logplain