From 27168f0630cd421ab169b871dc0772726e76ae2d Mon Sep 17 00:00:00 2001 From: Xavier Guimard Date: Wed, 18 Jul 2018 09:13:54 +0200 Subject: [PATCH] Update conf prm list --- scripts/parameters-for-wiki.pl | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/scripts/parameters-for-wiki.pl b/scripts/parameters-for-wiki.pl index 044d4b0b2..cba461539 100755 --- a/scripts/parameters-for-wiki.pl +++ b/scripts/parameters-for-wiki.pl @@ -64,18 +64,30 @@ print <