Closed johann-petrak closed 5 years ago
Currently this is added directly in the sources. Requires two issues in gatelib-interaction to get fixed first.
Fixed as of 9f7777df66d95c63e6b1359ffb42b7f3749445e7
Currently this is added directly in the sources. Requires two issues in gatelib-interaction to get fixed first.