Skip to content
Snippets Groups Projects
Select Git revision
  • dev-group3-qdigest
  • dev-group2-all-aggregations
  • master default
  • dev-group2-graphs
  • dev-group2-limit-neighbors
  • dev-group1-stefan
  • dev-group3-kim
  • dev-group1-simon
8 results
Compare
Luca Keidel's avatar
Merge branch 'dev-group3' into 'master'
lkeidel authored 
Configuration system

State of the system as presented last week. Closes #18 

See merge request !5
e9ea7f29
History
Luca Keidel's avatar e9ea7f29
History
Name Last commit Last update