From 66020422a8da82d61f72d826ad1f0d076c69867b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Tue, 13 Oct 2015 02:08:30 +0100
Subject: [PATCH] remove real submodule

---
 .gitmodules | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.gitmodules b/.gitmodules
index 34547fe40..7e16cd398 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -28,9 +28,6 @@
 [submodule "packages/plunit"]
 	path = packages/plunit
 	url = git://git.code.sf.net/p/yap/plunit
-[submodule "packages/real"]
-	path = packages/real
-	url = git://git.code.sf.net/p/yap/real
 [submodule "packages/archive"]
 	path = packages/archive
 	url = git://git.code.sf.net/p/yap/archive