Merge pull request #3733

6fe6a44 fix broken link to contrib/devtools (freewil)
This commit is contained in:
Wladimir J. van der Laan 2014-02-23 09:01:14 +01:00
commit 2c41b803e6
No known key found for this signature in database
GPG Key ID: 74810B012346C9A6

View File

@ -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.