From 6e062f2db74a9b1870234506b79facd9b7dfe9a9 Mon Sep 17 00:00:00 2001
From: Pedro Paixao <pedro@UM-Book.local>
Date: Wed, 22 Jun 2016 15:56:42 -0400
Subject: [PATCH] remove unuse section

---
 Makefile | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/Makefile b/Makefile
index 332956a7..e30573ee 100644
--- a/Makefile
+++ b/Makefile
@@ -101,12 +101,6 @@ test-cov: clean instrument
 	@echo
 	@echo Open html-report/index.html file in your browser
 
-# git-pull:
-# 	git pull
-#	git submodule init
-#	git submodule update
-#	git submodule status
-
 clean:
 	-rm -fr lib-cov
 	-rm -fr covershot