From d532a641a202627753b931fabe2b22b2afb4c0f5 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Mon, 7 Oct 2019 18:59:02 -0400
Subject: chmod -x some files

They probably don't need to be executable
---
 user-contrib/Ltac2/Bool.v | 0
 user-contrib/Ltac2/Init.v | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 user-contrib/Ltac2/Bool.v
 mode change 100755 => 100644 user-contrib/Ltac2/Init.v

(limited to 'user-contrib')

diff --git a/user-contrib/Ltac2/Bool.v b/user-contrib/Ltac2/Bool.v
old mode 100755
new mode 100644
diff --git a/user-contrib/Ltac2/Init.v b/user-contrib/Ltac2/Init.v
old mode 100755
new mode 100644
-- 
cgit v1.2.3