Markus Heiser d0e371f474 [mod] replace makefile boilerplate by 'manage' script 4 years ago
..
data-update.yml d0e371f474 [mod] replace makefile boilerplate by 'manage' script 4 years ago
integration.yml d0e371f474 [mod] replace makefile boilerplate by 'manage' script 4 years ago