Closed bwvdnbro closed 2 years ago
Contrary to all the other repositories, this one did not have a formatting script. So I added one.
I will set up CI that checks the formatting once this has been merged.
Contrary to all the other repositories, this one did not have a formatting script. So I added one.
I will set up CI that checks the formatting once this has been merged.