Skip to content
Snippets Groups Projects

Fixed the README batches and changed pipeline to push tags to github.

Merged Markus Scheidgen requested to merge github into develop
Compare changes
  • Side-by-side
  • Inline
Files
2
Loading