diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -16,7 +16,7 @@ git-permalink: src/git-permalink.sh chmod +x $@-t mv $@-t $@ -check: +check: all sh tests/cli-opts.sh dev-check: check |
![]() |
index : git-permalink | |
Unnamed repository; edit this file 'description' to name the repository. | External SSH Git service user |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | Makefile | 2 |
@@ -16,7 +16,7 @@ git-permalink: src/git-permalink.sh chmod +x $@-t mv $@-t $@ -check: +check: all sh tests/cli-opts.sh dev-check: check |