diff --git a/packages/pldoc b/packages/pldoc index a1f4092534..d2eab1e357 160000 --- a/packages/pldoc +++ b/packages/pldoc @@ -1 +1 @@ -Subproject commit a1f4092534ec1454bca99bf64d11e67b1e5a55e3 +Subproject commit d2eab1e3579ad90623e1b1d8b0a46ae6566abe68