26 Jan
2011
26 Jan
'11
2:09 p.m.
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