aboutsummaryrefslogtreecommitdiff
path: root/source/sat/formula
ModeNameSize
-rw-r--r--messages.po57394logplain