Damn you, server. First it times out and sends me an error and then it does not let me upload the file again. I have to try again tomorrow, but the linux tar.gz is there.
Nils _______________________________________________ Denemo-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/denemo-devel
