"edu.kit.ipd.descartes.mm.usageprofile.edit/plugin.xml" did not exist on "afad3d1aafa204572172a69c222a72ee6528ce3d"
v1.89.7
d4ddc46e
·
InputText: Fixed a crash on deactivating a ReadOnly buffer. (#6570, #6292, #4714)
·
Jul 04, 2023