diff options
author | Florian Dold <florian@dold.me> | 2022-10-28 14:48:50 +0200 |
---|---|---|
committer | Florian Dold <florian@dold.me> | 2022-10-28 14:48:50 +0200 |
commit | c32b80c1764f8a594bc085bd74382a5522b89c24 (patch) | |
tree | b1b16fae5ce3c15f512eb366ef6f26a236fe1f8a /.gitignore | |
parent | 390276fc53d3f337ef388729d0f1b0086d2a6a21 (diff) |
build system: use makefile directly, not from template
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index dac7021e0..caad3b393 100644 --- a/.gitignore +++ b/.gitignore @@ -10,7 +10,7 @@ build/ # GNU-style build system /configure /build-system/config.mk -/Makefile +/.config.mk # Editor files \#*\# |