Merge branch 'main' into cdgen

2022-10-07 11:07:37 +02:00 · 2022-10-07 11:07:37 +02:00 · 74069ca28e
parent 2a9dcb611c 9dcc5de46a
commit 74069ca28e
1 changed files with 2 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -9,3 +9,4 @@
 *.o
 *.ii
 *.xa
+*.lfsconfig