Merge pull request #35 from zizkovrb/rm-ds_store

Remove utilities/.DS_Store file.
facebook · Dec 18, 2013 · cbb8da6 · cbb8da6
2 parents 3b50b62 + 8c34189
commit cbb8da6
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/utilities/.DS_Store b/utilities/.DS_Store
diff --git a/utilities/merge_operators/.DS_Store b/utilities/merge_operators/.DS_Store