From a98b1822a389cd209cb7a6660060abf995fbf715 Mon Sep 17 00:00:00 2001 From: Rainer Gerhards Date: Fri, 29 Nov 2013 15:58:26 +0100 Subject: document new global parameter --- doc/global.html | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/doc/global.html b/doc/global.html index a58f5c69..8b47f6f4 100644 --- a/doc/global.html +++ b/doc/global.html @@ -13,6 +13,13 @@ unpredictable.

The following paramters can be set: