Nicolas Mattia 89ae775e9d Add --rev and -r ... This should hopefully clarify that `--version` shouldn't be used for GitHub repositories; moreover setting a particular revision is used much more often than changing the repo name.		2020-08-21 16:17:27 +02:00
..
fmt	Add CI check for formatting	2020-07-24 13:28:11 +02:00
gen	Release 0.2.11	2020-01-07 15:29:59 +01:00
test	Remove the niv-test executable	2020-01-20 18:12:13 +01:00
upload	Add --rev and -r	2020-08-21 16:17:27 +02:00