[Grace-core] Minigrace in the browser

[Kim Bruce]

Ours are currently all ".grace".  Does it really need to be standardized?  If so, I'd go for the full name for clarity.

Kim



On Jul 2, 2011, at 2:29 PM, James Noble wrote:

> There is another question: what's the file extension?
> 
> .g
> .grc
> .gra
> .grace
> 
> perhaps we should arrange a vote on the blog? 
> _______________________________________________
> Grace-core mailing list
> Grace-core at cecs.pdx.edu
> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core