summaryrefslogtreecommitdiffstats
path: root/math/why3-spark/files
ModeNameSize
-rw-r--r--patch-Makefile.in656logstatsplain
-rw-r--r--patch-src_tools_cpulimit.c226logstatsplain
OpenPOWER on IntegriCloud