Fix dev docs for repo update script
Compare changes
- Florian Sesser authored
Thanks @jcalderone for pointing me to it
+ 1
− 1
@@ -62,7 +62,7 @@ To update the version of packages we import from gitlab, run:
Thanks @jcalderone for pointing me to it