edg-l/ddnet
1
0
Fork 0
mirror of https://github.com/ddnet/ddnet.git synced 2024-11-10 01:58:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
20162 commits 1 branch 428 tags 413 MiB
Commit graph

1 commit

Author SHA1 Message Date
Robert Müller db17539652 Rewrite unused header style check shell script in Python 
As the shell script is pretty slow, taking roughly 84 seconds in the CI, whereas the equivalent Python script takes only 1 second.
 2023-10-14 15:21:28 +02:00