Which one of these is preferred?
str = str.replace ("pad-markup", "pad-around")
str = re.sub ('pad-markup', 'pad-around', str)
- Mark
_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-devel
