On Wed, 2018-07-11 at 10:21 +0100, Joe Wilkinson wrote: > is 620 bytes. >
Is that http://www.denemo.org/~jjbenham/mxe/denemo.zip ? It seems to be ok this morning: [ ] denemo.zip 2018-07-12 05:01 165M Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
