24 May
2012
24 May
'12
8:46 a.m.
Hi,
On Thu, May 24, 2012 at 08:44:05AM -0500, Steven R. Brandt wrote:
This may seem like a fussy point, but what is the correct abbreviation for Einstein Toolkit? Is it ET or ETK? I've seen both used (and I'm partial to ETK myself).
I like ET more (despite the extra terrestrial). We also already use ET_* for our release tags.
Frank