Skip to content
Snippets Groups Projects
Commit e54135d8 authored by Jens Henrik Göbbert's avatar Jens Henrik Göbbert
Browse files

Merge branch '2020' into julia-update

parents 8c72373d b50c0955
Branches
No related tags found
No related merge requests found
Showing
with 13 additions and 8 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment