From 20163a96c620a6fc96fa7f1030fea9cdb5b7e25f Mon Sep 17 00:00:00 2001
From: Greg Hendershott <greghendershott@gmail.com>
Date: Wed, 24 Oct 2012 20:33:13 -0400
Subject: [PATCH] Fix perms

---
 make-doc.sh | 0
 push.sh     | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 make-doc.sh
 mode change 100644 => 100755 push.sh

diff --git a/make-doc.sh b/make-doc.sh
old mode 100644
new mode 100755
diff --git a/push.sh b/push.sh
old mode 100644
new mode 100755