From 385af4de01e11138559d4a468d7c9c7f91e63918 Mon Sep 17 00:00:00 2001
From: Vitaly Provodin <vitaly.provodin@jetbrains.com>
Date: Fri, 15 May 2020 12:10:04 +0700
Subject: [PATCH] add exec permitions to configure

(cherry picked from commit bf2e441e09c07e6151d695492550d95c57decbc5)
---
 configure | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 configure

diff --git a/configure b/configure
old mode 100644
new mode 100755