Merge: nitrpg: remove points if a PR is closed without merge
[nit.git] / contrib / online_ide / .gitignore
1 pnacl_nit.pexe