Am 01.07.2018 um 09:55 schrieb James Lowe:
I don't know what the difference is between pull and fetch in terms of 'rights' but I'd have thought it would be the same right?
Yes, the difference comes only on your own computer. _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
