Commit graph

3 commits

Author SHA1 Message Date
Pieter Vander Vennet
9aa21e2759 Fix build: add mapcomplete-changes 2023-12-30 16:41:39 +01:00
Pieter Vander Vennet
3cf6ebbb69 Fix build 2023-12-30 16:33:52 +01:00
Pieter Vander Vennet
7dbef4c68e Split build step in two scripts 2023-12-23 22:10:39 +01:00