On Sun, Feb 26, 2012 at 01:30:53PM -0000, Phil Holmes wrote:
> Not sure if that's a good thing or not - it could be argued that you
> can go back and check them if they've not been deleted.

I don't think they should be deleted as part of doc-clean or
clean.  If somebody wants to add a log-clean, I'd have no
objection.

- Graham

_______________________________________________
lilypond-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to