Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • devel
2 results
Compare
Rajmund Hruška's avatar
Merge branch 'hruska-feature-deprecation-warnings' into 'devel'
Rajmund Hruška authored 
Check deprecation warnings

See merge request 709/mentat/pydgets!2
e167bc72
History
Rajmund Hruška's avatar e167bc72
History
Name Last commit Last update