search

music-encoding / encoding-tools

Tools for working with or transforming MEI Encodings
Educational Community License v2.0
41 stars 32 forks source link

Update linter id, url and version #34

Closed musicEnfanthen closed 1 year ago

musicEnfanthen commented 1 year ago

This PR updates the linter id, url and version after the folder and file was renamed, in coordination with https://github.com/music-encoding/sample-encodings/pull/92.