Skip to content
Commit 2861c2a6 authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Setup data structure is hopefully more sophisticated.

The Setup class now reflects the augmenting in the semantics.
parent 09d986e5
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment