Just tried GZIP. much faster; half the time of previous acceptable speed
in Windows 10
Joe
On 22/08/2017 16:49, Joe Wilkinson wrote:
Hi Richard,
I downloaded the latest development version yesterday evening.
Help About gives version 2.15, as does the Brows Manual option!
Joe
Incidentally, I am sure this i a fault on my Windows 10 machine, but
unzipping the development version has started taking ages, over an
hour. (As of a month ago). Have any other windows users reported
problems?
_______________________________________________
Denemo-devel mailing list
Denemo-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/denemo-devel
