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/backend/resources/ModifiableResources.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'doc/jcgp/backend/resources/ModifiableResources.html') diff --git a/doc/jcgp/backend/resources/ModifiableResources.html b/doc/jcgp/backend/resources/ModifiableResources.html index b006072..e2b20f6 100644 --- a/doc/jcgp/backend/resources/ModifiableResources.html +++ b/doc/jcgp/backend/resources/ModifiableResources.html @@ -2,9 +2,9 @@ - + ModifiableResources - + @@ -294,7 +294,7 @@ extends void -setSeed(int seed)  +setSeed(long seed)