Hello. The google filter for our search box in the new webpage applies +2.12, shouldn't it be +2.13 instead?
Searches on stable docs are great, but the new webpage currently hosts unstable. -- Francisco Vila. Badajoz (Spain) www.paconet.org , www.csmbadajoz.com _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel
