summarylogtreecommitdiffstats
ModeNameSize
-rw-r--r--.SRCINFO1049logstatsplain
-rw-r--r--.editorconfig111logstatsplain
-rw-r--r--.gitignore372logstatsplain
-rw-r--r--PKGBUILD1889logstatsplain
-rw-r--r--ppxlib-compat.diff4284logstatsplain
-rw-r--r--remove-seq-dep.diff839logstatsplain