diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-02-23 09:01:14 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-02-23 09:01:54 +0100 |
commit | 2c41b803e6a84b8ef5e4c8be91b5e72ececab4e0 (patch) | |
tree | 3c4911a674a84e94d720d36e0d190b29ec0acce1 /contrib | |
parent | f42085d3130c107aaa68e3f8bce2a99105a81660 (diff) | |
parent | 6fe6a448eaf19bc300201458911739ea5ea9d1ff (diff) |
Merge pull request #3733
6fe6a44 fix broken link to contrib/devtools (freewil)
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/README.md | 2 |
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. |