Updates:
Labels: -Patch-push Patch-review
Comment #5 on issue 4160 by [email protected]: Patch: Implement -dtags-to-keep
and -dtags-to-remove commandline options
https://code.google.com/p/lilypond/issues/detail?id=4160
Putting this back to review since we do not appear to have a solution yet
that would be satisfactory for the kind of use cases that this patch is
intended for.
Should we have something like variables
defaultTagsToKeep
and
defaultTagsToRemove
that are also considered? If so, how? With tags-to-keep defaulting to #t
and only that setting causing defaultTagsToKeep to be consulted? Any
better proposal?
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
