diff options
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 4bb0998c..4e8e90b1 100644 --- a/Makefile.in +++ b/Makefile.in @@ -841,7 +841,7 @@ style: build_tools/style.fish style-all: build_tools/style.fish --all -.PHONY: lint lint-all +.PHONY: style style-all # # Cleanup targets |