On Wed, Jan 26, 2011 at 09:53:14PM -0000, Einstein Toolkit wrote:
just an integer or maybe a decimal number. Is there a reason to allow more complicated version strings?
There might be, for using this with different branches of the same thing (think of Carpet). An integer would be cumbersome there, a decimal should do however.
Frank
On Wed, Jan 26, 2011 at 04:09:18PM -0600, Frank Loeffler wrote:
There might be, for using this with different branches of the same thing (think of Carpet). An integer would be cumbersome there, a decimal should do however.
To be specific: A decimal in the sense of 1.9 < 1.10 that is.
Frank
users@lists.einsteintoolkit.org