From ca0c5ae01fd5da2b789c3c7ac7f91de5101d4107 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Tue, 18 Oct 2011 00:46:27 +0200
Subject: [PATCH] no .sh needed

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 linux/{install.sh => install} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename linux/{install.sh => install} (100%)

diff --git a/linux/install.sh b/linux/install
similarity index 100%
rename from linux/install.sh
rename to linux/install