From 2e641cce529233de3109c5675b584225651e0496 Mon Sep 17 00:00:00 2001 From: swa Date: Sun, 24 Mar 2002 13:52:20 +0000 Subject: [PATCH] generated file. --- doc/source/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/source/.gitignore b/doc/source/.gitignore index 1d6ab88c..29fa2320 100644 --- a/doc/source/.gitignore +++ b/doc/source/.gitignore @@ -1,3 +1,4 @@ developer-manual faq +ldpOK.dsl user-manual -- 2.39.2