From 7214a11320cca73bb8bbe479c0d75449c4472771 Mon Sep 17 00:00:00 2001
From: Antonio Terceiro <terceiro@softwarelivre.org>
Date: Fri, 10 Oct 2014 16:23:01 -0300
Subject: [PATCH] Remove dev-install.sh

---
 dev-install.sh | 5 -----
 1 file changed, 0 insertions(+), 5 deletions(-)
 delete mode 100755 dev-install.sh

diff --git a/dev-install.sh b/dev-install.sh
deleted file mode 100755
index 05dfd44..0000000
--- a/dev-install.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-
-set -e
-
-
--
libgit2 0.21.2