edg-l/ddnet
1
0
Fork 0
mirror of https://github.com/ddnet/ddnet.git synced 2024-09-19 17:14:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
20151 commits 1 branch 424 tags 414 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