gregorio-project / gregorio

The Gregorio Project
http://gregorio-project.github.io
Other
164 stars 43 forks source link

Correct a typo #1512

Closed rpspringuel closed 3 years ago

rpspringuel commented 3 years ago

Fixes #1472