From 24f52a13a18d30279c29bc5fcf4a48b334a9e489 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Wed, 5 Jun 2019 20:15:21 +0200 Subject: [PATCH] missing chmod --- scripts/install_opam.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/install_opam.sh diff --git a/scripts/install_opam.sh b/scripts/install_opam.sh old mode 100644 new mode 100755