rust-clippy/util
Philipp Krones 445f428a65
Fix version.py after deleting v* dirs
I missed updating this file.

I also ran black and isort over it.
2023-06-17 10:05:06 +02:00
..
etc Fixed comment 2022-07-03 19:03:51 +00:00
gh-pages Adapt versions.html file to cleaned up gh-pages 2023-06-17 09:24:06 +02:00
fetch_prs_between.sh util/fetch_prs_between.sh: Add Markdown formatted Link 2020-04-20 21:08:55 +02:00
versions.py Fix version.py after deleting v* dirs 2023-06-17 10:05:06 +02:00