From 1350f8c0181c444878c73f89167e385e70629dd1 Mon Sep 17 00:00:00 2001
From: Rogério Brito <rbrito@ime.usp.br>
Date: Tue, 8 Mar 2011 13:26:16 -0300
Subject: Remove executable bits from files that are not scripts/executables.

---
 INSTALL | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 INSTALL

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
old mode 100755
new mode 100644
-- 
cgit v1.2.3