Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Repository
TTool
src
main
java
ui
window
JDialogAvatarModelChecker.java
Find file
Blame
History
Permalink
Revert "Better organization of graphic elements in model-checking window"
· 93fdff47
Ludovic Apvrille
authored
May 13, 2020
This reverts commit
6f3c792a
.
93fdff47