From 87b99f4d54d46d7ce09a42c594b335c2a981eb22 Mon Sep 17 00:00:00 2001
From: ubu32 <vitor@ubuntu.(none)>
Date: Sat, 9 Jul 2011 08:23:12 -0700
Subject: [PATCH] update pldoc.

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

diff --git a/packages/pldoc b/packages/pldoc
index d41891071..b1c05f2df 160000
--- a/packages/pldoc
+++ b/packages/pldoc
@@ -1 +1 @@
-Subproject commit d41891071193a6c9d20b30bdbe709531948e111b
+Subproject commit b1c05f2dfba27286d3810c6921d027cecd528b01