doc/manual: put back the manual in the main repository
[nit.git] / LICENSE-GPL-3
2017-05-03 Jean-Christophe... license: add GNU GPLv3