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
 2 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

(limited to 'dev')

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
-- 
cgit v1.2.3