maintenance

Jun 17, 2023

73e86db · Jun 17, 2023

Name	Name	Last commit message	Last commit date
parent directory ..
gen-doc.sh	gen-doc.sh	Fix generating documentation	Jan 20, 2022
makerelease.sh	makerelease.sh	releasescript: Update version parsing	Jun 17, 2023
update-submodules	update-submodules	Enable recursive submodule update	Aug 16, 2019

Provide feedback