From 53f76eb198a6c77e24bdc8356ae491f87bbde53b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 14 Jun 2011 11:13:32 +0100 Subject: [PATCH] fix Makefile --- packages/pldoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/pldoc b/packages/pldoc index c04ee0be3..d41891071 160000 --- a/packages/pldoc +++ b/packages/pldoc @@ -1 +1 @@ -Subproject commit c04ee0be3b03df2269178e008345f5fa395f40d2 +Subproject commit d41891071193a6c9d20b30bdbe709531948e111b