sync

pysmt · Jun 22, 2018 · 522688e · 522688e
1 parent b003878
commit 522688e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,2 @@
 *.pyc
-*~
+*~