Über Open CoDE Software Wiki Diskussionen GitLab
Updated UMTHES to version 1.11.10.
This version includes the fix for the bug in umt_notes_helper.
umt_notes_helper