bug fixes in tools for generating indexes

kb-dk / MerMEId

Tool for editing MEI header data

Apache License 2.0

20 stars 14 forks source link

Closed axgeertinger closed 6 years ago

axgeertinger commented 6 years ago

Clean up code and fix a couple of bugs in index-generating tools