Cherry pick files from the module branch

2023-10-06 14:23:15 +02:00
parent 1d11e778d3
commit 8f915dfb9a
4 changed files with 21 additions and 9 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 # For now we ignore what is in root
 **/build
 **/bin
+**/gcm.cache
 **/iso/Info
 /iso