Teeworlds
discord.gg/teeworlds / development
For discussions around the development of the official Teeworlds
Between 2022-03-08 00:00:00Z and 2022-03-09 00:00:00Z
GitHub
BOT
2022-03-08 20:13:39Z
Robyt3
[teeworlds/teeworlds] Pull request opened: #3117 Update check_header_guards.py script and use it in workflow
Cherry-pick all changes from ddnet. Fix incorrect or missing header guards as detected by the script. Add script to GitHub Check style workflow.
Exported 1 message(s)
