Merge: contracts: fix usage of contract with `--erasure`
[nit.git] / doc / manual / genericity.md
2019-07-12 Jean Privatdoc/manual: put back the manual in the main repository