Op dinsdag 02-06-2009 om 10:16 uur [tijdzone -0300], schreef Han-Wen
Nienhuys:
> Can someone push a more recent version? I think there were changes
> after that. Also, if anyone made changes on other branches besides
> master, please push them again (I am thinking of GDP and the frogs, in
> particular).
It seems we're now back @ May28. However, I just (intentionally)
deleted the gub branch (again). Gub lives at
http://github.com/janneke/gub/tree/master
Would this be a nice moment to split off web into its own
repository?
Jan.
--
Jan Nieuwenhuizen <[email protected]> | GNU LilyPond - The music typesetter
Avatar®: http://AvatarAcademy.nl | http://lilypond.org
_______________________________________________
lilypond-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/lilypond-devel
