- From: Michael Good via GitHub <sysbot+gh@w3.org>
- Date: Tue, 14 Feb 2017 21:36:23 +0000
- To: public-music-notation-contrib@w3.org
The following commits were just pushed by mdgood to https://github.com/w3c/musicxml: * 163: Mix musical symbols with text in directions and credits by Michael Good https://github.com/w3c/musicxml/commit/36ce62a30ed370e25f9d0400921291c98e29bd81 * 163: Update direction-type definition by Michael Good https://github.com/w3c/musicxml/commit/4af6e52fd7b4f1782790d02ccf9db6aa7993ab28 * 163: Improve formatting by Michael Good https://github.com/w3c/musicxml/commit/4b8667aa5bafbab89429350f2b9b30212e6849f4 * 163: Additional formatting fix by Michael Good https://github.com/w3c/musicxml/commit/676e25a60a1f9998e74143e5731c99699c770130 * 163: Additional space removal by Michael Good https://github.com/w3c/musicxml/commit/b869c5f168eb7a8f91de6e2511a6c09525c64f55 * Merge pull request #173 from w3c/163-mix-symbols-text 163: Mix musical symbols with text in directions and credits by Michael Good https://github.com/w3c/musicxml/commit/0faea13ba27bc66b67eacb730dd3ca6c47762a6d
Received on Tuesday, 14 February 2017 21:36:30 UTC