[m-dev.] Source distribution file name

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

Previous message: [m-dev.] Source distribution file name
Next message: [m-dev.] Source distribution file name
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Julien,

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

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

Cheers,

Michael

Previous message: [m-dev.] Source distribution file name
Next message: [m-dev.] Source distribution file name
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the developers mailing list