make automatic revision history entries optional

kb-dk / MerMEId

Tool for editing MEI header data

Apache License 2.0

20 stars 14 forks source link

Closed axgeertinger closed 7 years ago

axgeertinger commented 7 years ago

The configuration file should have an option to turn off the automatically generated revision history entries.