From 2b571f08d091dc062cedbb9816c29dcf0cbd4f12 Mon Sep 17 00:00:00 2001 From: Eduardo Pedroni Date: Thu, 22 May 2014 07:44:52 +0100 Subject: Final commit, will release later today. --- doc/jcgp/gui/settings/parameters/GUIParameter.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/jcgp/gui/settings/parameters/GUIParameter.html') diff --git a/doc/jcgp/gui/settings/parameters/GUIParameter.html b/doc/jcgp/gui/settings/parameters/GUIParameter.html index 82171cb..a6c5092 100644 --- a/doc/jcgp/gui/settings/parameters/GUIParameter.html +++ b/doc/jcgp/gui/settings/parameters/GUIParameter.html @@ -2,9 +2,9 @@ - + GUIParameter - + -- cgit v1.2.3