]> git.plutz.net Git - gladerunner/commit
minor linting
authorPaul Hänsch <paul@plutz.net>
Tue, 25 Aug 2026 07:54:27 +0000 (09:54 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 25 Aug 2026 07:54:27 +0000 (09:54 +0200)
commitee0cb1cd47796b32c099525ed8084410537f469e
tree0f6f1e5a99c87185243bb177f616a787a6a480a4
parent514bfdcca6f7c6946a15c76fbd9d1dae97cc2c78
minor linting
gladerunner.c