search

Edirom / Edirom-Online

Edirom Online is a tool for presenting historical-critical music editions in digital form.
GNU General Public License v3.0
19 stars 18 forks source link

Sync main and develop #333

Closed bwbohl closed 1 year ago

bwbohl commented 1 year ago

Somehow there are differences between main and develop where there should be none… This PR brings that in sync again.