Skip to content
Snippets Groups Projects
Commit 3aeef901 authored by Bienchen's avatar Bienchen
Browse files

Updating release 1.2 branch. 

Release 1.2 was never completed so we are going to reuse this one. This means,
in contrast to best practice, we are merging current develop branch into branch
release-1.2.
parents 6447f1b7 42761b45
Branches
Tags
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 1468 additions and 153 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment