Skip to content

GitLab

Closed
Created by Ondřej Surý@ondrejOwner

Cleanup the final remnants of platform.h

There are still few remaining bits in the platform.h header that we need to remove and finally get rid of the header.