Skip to content
GitLab
Explore
Sign in
general
stups
ProB Rodin Plugin
Repository
prob_rodin_plugin
..
ui
DisproverPreferences.java
Find file
Blame
History
Permalink
change text of export PO label
· 54559a39
Michael Leuschel
authored
Dec 05, 2020
54559a39