Peter Vlasveld pushed to project branch master at Peter Vlasveld / logic2020

Peter Vlasveld
2024-01-07T22:24:00Z

Peter Vlasveld (53d69a01) at 07 Jan 22:24

front-end stuff is currently WIP, so taking it out of CI