Merge: doc: fixed some typos and other misc. corrections
[nit.git] / doc / manual / nitreference.tex
2022-04-21 David Genoisdoc: misc proofread
2019-07-12 Jean Privatdoc/manual: put back the manual in the main repository