contrib/github_merge: use `config` instead of `opts`
[nit.git] / contrib / asteronits / bin /
2015-12-14 Alexis Laferrièrecontrib: move lib/gamnit/examples/asteronits to contrib/