aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2025-12-28 22:33:24 +0100
committerTristan Riehs <tristan.riehs@inria.fr>2025-12-28 22:33:24 +0100
commit2f1805e2e5931355583dacd3f12ee31e25ab5638 (patch)
tree962d9cb71024055d166ce765ee45cc55876feb36 /Makefile
parente9c79ffd4251264cf135ae2996739ceefc914d2d (diff)
Use puts instead of printf whenever possible
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions