Merge branch 'main' into cdgen

2022-10-07 11:07:37 +02:00 · 2022-10-07 11:07:37 +02:00 · 0756b26f75
parent 5d0c1aae25 29932a16ba
commit 0756b26f75
1 changed files with 2 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -8,4 +8,5 @@
 *.a
 *.o
 *.ii
-*.xa
+*.xa
+*.lfsconfig