aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWladimir J. van der Laan <laanwj@gmail.com>2014-02-23 09:01:14 +0100
committerWladimir J. van der Laan <laanwj@gmail.com>2014-02-23 09:01:54 +0100
commit2c41b803e6a84b8ef5e4c8be91b5e72ececab4e0 (patch)
tree3c4911a674a84e94d720d36e0d190b29ec0acce1
parentf42085d3130c107aaa68e3f8bce2a99105a81660 (diff)
parent6fe6a448eaf19bc300201458911739ea5ea9d1ff (diff)
Merge pull request #3733
6fe6a44 fix broken link to contrib/devtools (freewil)
-rw-r--r--contrib/README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/README.md b/contrib/README.md
index 167b5df4e1..cd0dd3b023 100644
--- a/contrib/README.md
+++ b/contrib/README.md
@@ -52,7 +52,7 @@ tests each pull and when master is tested using jenkins.
### [Verify SF Binaries](/contrib/verifysfbinaries) ###
This script attempts to download and verify the signature file SHA256SUMS.asc from SourceForge.
-### [Developer tools](/control/devtools) ###
+### [Developer tools](/contrib/devtools) ###
Specific tools for developers working on this repository.
Contains the script `github-merge.sh` for merging github pull requests securely and signing them using GPG.