Nikolai Rodionov 329a34cbdb Update a tool name		2023-02-09 12:06:05 +01:00
..
download_dudo.sh	Update a tool name	2023-02-09 12:06:05 +01:00
rename_releases.sh	Update a tool name	2023-02-09 12:06:05 +01:00