edg-l/ddnet
1
0
Fork 0
mirror of https://github.com/ddnet/ddnet.git synced 2024-09-20 17:44:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
ddnet/.github
History
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
..
workflows Rewrite unused header style check shell script in Python 2023-10-14 15:21:28 +02:00
pull_request_template.md Tell new devs not to feel intimidated 2022-09-16 01:12:17 +02:00