Automatic Update

formalmethods · Apr 11, 2021 · a1498f3 · a1498f3
1 parent ded5052
commit a1498f3
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/MANIFEST.in b/MANIFEST.in
@@ -1,6 +1,5 @@
 recursive-include libs *.dll *.pyd *.so
-graft tests/files
-graft tests/kind2-benchmarks
+graft benchmarks
 include LICENSE.md
 include CREDITS.md
 include VERSION