Skip to content
GitLab
Explore
Sign in
DDIS-Public
ChImp Protégé Plugin
Repository
chimp-protege-plugin
..
standardmetrics
StandardMetricsTable.java
Find file
Blame
History
Permalink
font, update and display string fixes
· 90fd5813
Mirko Serbak
authored
Aug 12, 2020
90fd5813