github_merge: Migrate to new Github API
[nit.git] / tests / test_highlight.args
1 base_simple3.nit