fix to dev script

This commit is contained in:
Nuno Coração
2022-12-22 13:18:07 +00:00
parent 7302083428
commit 83d6090e16
4 changed files with 1 additions and 1 deletions