summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMatthieu Pignolet <matthieu@puffer.fish>2025-05-11 19:45:25 +0400
committerMatthieu Pignolet <matthieu@puffer.fish>2025-05-11 19:45:25 +0400
commitb56db32779a1b63e21fd610c97715f10acd3654a (patch)
treead5f493cf441739f5b51d09562c1428e45ff4074 /.gitignore
parentbc89c7f15cac40852d5e906f30c2036cd47585e9 (diff)
feat: add options to the makefile and update the watch script to use them
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions