Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
interactive-KB-debugging
webprotege_debugger
Issues
#25
Closed
Open
Created
Oct 21, 2020
by
bodawe
@bodawe
Maintainer
After remove test case axiom, the Repair diagnoses and queries should also be changed at same time
