github_merge: use combined status (and be more useful)
[nit.git] / contrib / online_ide / README.md
2015-05-26 Jean PrivatRename REAMDE to README.md