Merge branch 'build_cleanup' into 'master'

Cleanup build scripts and git repository See merge request adacore/colibri!42

Merge branch 'build_cleanup' into 'master'
Cleanup build scripts and git repository See merge request adacore/colibri!42
ca9a7e33 · Christophe Junke · b49c3e13 · 38229eac · b49c3e13 · b49c3e13
Commit ca9a7e33 authored 1 year ago by Christophe Junke
--- a/filtered_file_17384
+++ b/filtered_file_17384
--- a/filtered_file_17944
+++ b/filtered_file_17944
--- a/test.sh
+++ b/test.sh