From 633d30f248f770d05b27609e6b4d354a7417c066 Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Mon, 16 Jun 2014 20:57:46 -0400 Subject: make the script executable --- bin/smt | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 bin/smt diff --git a/bin/smt b/bin/smt old mode 100644 new mode 100755 -- cgit v1.2.3