summarylogtreecommitdiffstats
ModeNameSize
-rw-r--r--.SRCINFO1455logstatsplain
-rw-r--r--.gitignore104logstatsplain
-rw-r--r--0001-Replace-use-of-uint32-by-standard-complient-way.patch1222logstatsplain
-rw-r--r--0001-external-ocamlzip-zip.ml-remove-duplicate-exception.patch795logstatsplain
-rw-r--r--0001-lang_php-matcher-Makefile-remove-warn-error.patch917logstatsplain
-rw-r--r--PKGBUILD2426logstatsplain
-rw-r--r--lang_js-analyze-module_js.ml-Fix-invalid-documentati.patch2117logstatsplain
-rw-r--r--lang_js-analyze-utils_js.mli.patch1007logstatsplain
-rw-r--r--unused-module.patch577logstatsplain