diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -38,6 +38,6 @@ clean: find . -name \*.hi -exec rm {} \; tags: - hasktags . || true + hasktags . -c || true .PHONY: tags |
index : git-repair | ||
[no description] | git repository hosting |
summaryrefslogtreecommitdiff |