doc/manual: put back the manual in the main repository
[nit.git] / src / indexing /
2018-06-19 Alexandre Terrasasrc/indexing: introduce `code_index`