summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--picosat-965-makefile.in.patch364logplain