On 2013/09/30 15:10:00, PhilEHolmes wrote:
Julien - I'm not convinced that's a good idea. It would mean that,
once you'd
"turned numbering on", then you couldn't turn it off except by
deleting all the
numbered files. I think it's better to let the user select, based on
the
command line switches.
By deleting or renaming the _first_ numbered file. I think that's ok as a default, but it might make sense to have an option -n0 or whatever that explicitly turns it off even when there are already numbered backups. https://codereview.appspot.com/14040043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel