From 354dbbf802649ed923c0f2bda7ef79f33c39f295 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sat, 8 Dec 2012 10:52:39 +0000
Subject: [PATCH] follow pldoc

---
 packages/pldoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/pldoc b/packages/pldoc
index 32554931e..fa667ecac 160000
--- a/packages/pldoc
+++ b/packages/pldoc
@@ -1 +1 @@
-Subproject commit 32554931ed7a59771bf1939cfad434c253b459e2
+Subproject commit fa667ecacf4128c10dc51215ff54f25672a782c8