From 1db1a3f6a77c994cbfbf6cf2420c860171277c12 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 14 Oct 2011 14:19:38 +0200
Subject: [PATCH] build does not need suffix .sh

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

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