inconsistency in git
authorJordan Augé <jordan.auge@lip6.fr>
Mon, 5 Aug 2013 13:43:54 +0000 (15:43 +0200)
committerJordan Augé <jordan.auge@lip6.fr>
Mon, 5 Aug 2013 13:43:54 +0000 (15:43 +0200)
plugins/pres_view [deleted submodule]

diff --git a/plugins/pres_view b/plugins/pres_view
deleted file mode 160000 (submodule)
index 96e46a0..0000000
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 96e46a0ff58c6c5e2bec53e4fa3f6b2b95e639eb