Søren Theilgaard 1dc42a22a4 change to zsh ...

Then we can use zsh to somewhat clean up the label name (at least get rid of special characters from the URL).

2021-08-24 15:49:35 +02:00

4.6 KiB

Executable File

Raw Blame History

View Raw