Skip to content
Snippets Groups Projects
Select Git revision
  • develop default protected
  • r22 protected
  • 1138-warn-about-changed-spheroid-api
  • r21 protected
  • louis.filon1
  • m.dialog_csv_2d
  • r19-statistics
  • r20.3
  • v22.0
  • v21.2
  • v21.1
  • v21.0
  • v20.2
  • v20.1
  • v20.0
  • v1.19.79
  • v1.19.78
  • v1.19.77
  • FullPython3Support6_9_AllTestsPassed
  • repair_transmission
  • v1.19.0
  • v1.18.0
  • v1.17.0
  • v1.16.0
  • v1.15.0
  • v1.14.0
  • v1.13.0
  • v1.12.1
28 results
Compare
Joachim Wuttke's avatar
rename class and sources GUI/View/Setup/MaskEditorPropertyPanel ->...
Wuttke, Joachim authored 
rename class and sources GUI/View/Setup/MaskEditorPropertyPanel -> GUI/View/Setup/MaskEditorToolpanel
c2189d50
History
Joachim Wuttke's avatar c2189d50
History
Name Last commit Last update