From 67e2b37bb4f1ed116b5c68f3558426ad9628e241 Mon Sep 17 00:00:00 2001 From: Paul Brossier Date: Sun, 24 Jul 2016 20:32:44 +0200 Subject: [PATCH] rename INSTALL.foo to build_foo.sh --- INSTALL.linux => build_linux.sh | 0 INSTALL.mingw32 => build_mingw32.sh | 0 INSTALL.osx => build_osx.sh | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename INSTALL.linux => build_linux.sh (100%) mode change 100644 => 100755 rename INSTALL.mingw32 => build_mingw32.sh (100%) rename INSTALL.osx => build_osx.sh (100%) mode change 100644 => 100755 diff --git a/INSTALL.linux b/build_linux.sh old mode 100644 new mode 100755 similarity index 100% rename from INSTALL.linux rename to build_linux.sh diff --git a/INSTALL.mingw32 b/build_mingw32.sh similarity index 100% rename from INSTALL.mingw32 rename to build_mingw32.sh diff --git a/INSTALL.osx b/build_osx.sh old mode 100644 new mode 100755 similarity index 100% rename from INSTALL.osx rename to build_osx.sh -- 2.11.0