On Thu, Oct 5, 2017 at 7:01 AM, Federico Bruni <f...@inventati.org> wrote: > Anyway, if we decide that the setup script in LilyDev should include your > proposal, I'll be happy to see a pull request
https://github.com/fedelibre/LilyDev/pull/8 If you decide against including this, I will be OK with that. Perhaps 5 or so :) new contributors might benefit before the fonts get included in the LilyDev base distro and this issue self-resolves. -- Karlin High Missouri, USA _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
