summaryrefslogtreecommitdiff
path: root/debian/libaac-tactics-ocaml-dev.lintian-overrides
Commit message (Expand)AuthorAge
* Update Lintian overridesGravatar Benjamin Barenblat2019-02-17
* Update build systemGravatar Stephane Glondu2012-09-21