[m-dev.] Source distribution file name

Julien Fischer jfischer at opturion.com
Thu Jan 17 17:10:09 AEDT 2013

On Thu, Jan 17, 2013 at 4:59 PM, Michael Day <mikeday at yeslogic.com> wrote:
> Hi Julien,
>>     mercury-srcdist-<VERSION>.tar.gz
> Bikeshedding, but you could go with mercury-source-*, it's one character
> shorter :)

See my response to Paul; the problem is it's not just the Mercury source.


More information about the developers mailing list