Merge branch 'fix/remove-ds-store' into 'dev'

Remove .DS_Store See merge request crypto/swanky!419
GaloisInc · May 24, 2024 · 553ede0 · 553ede0
2 parents b640d5c + 0dfbb7d
commit 553ede0
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/.gitignore b/.gitignore
@@ -13,3 +13,4 @@ aes.dot
 circ.bin
 circ.priv.bin
 circ.dot
+.DS_Store