Closed matthewhorridge closed 5 years ago
See https://github.com/protegeproject/protege/issues/410
Isn't it already fixed?
I thought so. I'll need to check. Perhaps this didn't make it into the official distribution.
Not a problem anymore
See https://github.com/protegeproject/protege/issues/410