Turn on executable bit of some scripts on the Gambit repo so that a c…

…lone will also set the bit
gambit · Dec 18, 2013 · f94b152 · f94b152
1 parent 822f8c7
commit f94b152
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/include/stamp.h b/include/stamp.h
@@ -2,5 +2,5 @@
  * Time stamp of last source code repository commit.
  */
 
-#define ___STAMP_YMD 20131217
-#define ___STAMP_HMS 125418
+#define ___STAMP_YMD 20131218
+#define ___STAMP_HMS 155308