Merge: doc: fixed some typos and other misc. corrections
[nit.git] / contrib / simplan / .gitignore
2015-08-05 Jean Privatcontrib: add a simple planner that use lib/ai