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
---
 ide/coq2.ico | Bin
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100755 => 100644 ide/coq2.ico

(limited to 'ide')

diff --git a/ide/coq2.ico b/ide/coq2.ico
old mode 100755
new mode 100644
-- 
cgit v1.2.3