summaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore19logstatsplain
-rw-r--r--cvc3-aarch64.patch48953logstatsplain
-rw-r--r--cvc3-doc.patch112262logstatsplain
-rw-r--r--cvc3-doxygen.patch2246logstatsplain
-rw-r--r--cvc3.spec9152logstatsplain
-rw-r--r--sources52logstatsplain