[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-GIFT] Seeding of random number generator in GIFT
|
From: |
Wolfgang Mueller |
|
Subject: |
Re: [help-GIFT] Seeding of random number generator in GIFT |
|
Date: |
Tue, 22 Jan 2002 12:04:21 +0100 |
> The reason that I would prefer it to be a command line option is so that it
> is not necessary to recompile in order to change this behaviour. From my
> experience of development and debugging of extensions to the GIFT, this
> would be far preferable. It's not as if it's going to add any overhead...
Scuseme for the imprecision: I spoke of gift-config.mrml.
gift-config.mrml can be changed without re-compilation.
Cheers,
Wolfgang