Remove .DS_Store files and add to .gitignore

unl-pal · Dec 10, 2024 · 596f6c1 · 596f6c1
1 parent 865473d
commit 596f6c1
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/svcomp-benchmarks/.DS_Store b/svcomp-benchmarks/.DS_Store
diff --git a/svcomp-benchmarks/ArrayBasedCollectionTimer/.DS_Store b/svcomp-benchmarks/ArrayBasedCollectionTimer/.DS_Store
diff --git a/svcomp-benchmarks/Base64/.DS_Store b/svcomp-benchmarks/Base64/.DS_Store