This repository has been archived on 2025-09-04. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.

Fabian Mastenbroek badadcba8c Do not prepend 'v' before target Git tag ... This change updates an issue with the update script that not the actual tag was fetched, but that the character 'v' was prepended before the target Git tag.		2021-05-02 14:38:44 +02:00
..
check.sh	Fix shebang in update scripts	2021-03-15 20:37:34 +01:00
update.sh	Do not prepend 'v' before target Git tag	2021-05-02 14:38:44 +02:00
version.sh	Infer version information automatically	2021-03-28 20:46:50 +02:00