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
---
 dev/build/windows/patches_coq/ocaml-4.07.1.patch |   0
 dev/build/windows/patches_coq/pkg-config.c       |   0
 ide/coq2.ico                                     | Bin
 user-contrib/Ltac2/Bool.v                        |   0
 user-contrib/Ltac2/Init.v                        |   0
 5 files changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 dev/build/windows/patches_coq/ocaml-4.07.1.patch
 mode change 100755 => 100644 dev/build/windows/patches_coq/pkg-config.c
 mode change 100755 => 100644 ide/coq2.ico
 mode change 100755 => 100644 user-contrib/Ltac2/Bool.v
 mode change 100755 => 100644 user-contrib/Ltac2/Init.v

diff --git a/dev/build/windows/patches_coq/ocaml-4.07.1.patch b/dev/build/windows/patches_coq/ocaml-4.07.1.patch
old mode 100755
new mode 100644
diff --git a/dev/build/windows/patches_coq/pkg-config.c b/dev/build/windows/patches_coq/pkg-config.c
old mode 100755
new mode 100644
diff --git a/ide/coq2.ico b/ide/coq2.ico
old mode 100755
new mode 100644
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