1 files changed, 0 insertions, 0 deletions

diff --git a/lib/Doc b/lib/progdoc
index 632bf1f6..632bf1f6 100644
--- a/lib/Doc
+++ b/lib/progdoc