[m-dev.] Source distribution file name

Michael Day mikeday at yeslogic.com
Thu Jan 17 16:59:51 AEDT 2013


Hi Julien,

>     mercury-srcdist-<VERSION>.tar.gz

Bikeshedding, but you could go with mercury-source-*, it's one character 
shorter :)

Cheers,

Michael



More information about the developers mailing list