github_search_for_jni: Migrate to new Github API
[nit.git] / tests / test_separate_options.nit
1 print "ok"