aboutsummaryrefslogtreecommitdiff
path: root/math/why3/files
ModeNameSize
-rw-r--r--patch-src_tools_cpulimit.c238logplainblame