On Sun, Aug 30, 2015 at 05:57:45PM +0200, Jean-Charles Malahieude wrote: > > BTW, is there any difference between download/source and download/sources ?
I'm pretty certain that one is a symlink of the other. If not, then one was a place to store some odd tarballs for GUB to download. Cheers, - Graham _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel