Skip to content

GitLab

Merged
Created by Kilian Weishaupt@kweisOwner

Feature/compile time not impl

wip status depends on !861 (merged) . When merged, this is ready for merge as well.

Edited by Dennis Gläser