Remove misc/bench.tgz now that there is a bench directory (fixes issue …

…#209)
gambit · Sep 11, 2016 · 69bd381 · 69bd381
1 parent 0a3cf3d
commit 69bd381
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/include/stamp.h b/include/stamp.h
@@ -3,4 +3,4 @@
  */
 
 #define ___STAMP_YMD 20160911
-#define ___STAMP_HMS 133013
+#define ___STAMP_HMS 133634
diff --git a/misc/bench.tgz b/misc/bench.tgz