diff options
author | Lukas Larsson <[email protected]> | 2017-12-21 09:45:53 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-12-21 09:45:53 +0100 |
commit | ef4f493c4ccc23d8d43f97f99f35f1bb987b6c44 (patch) | |
tree | 7f597fd53d051c0b1509afb760068e60bd1ae547 /lib/tools | |
parent | 97df070c819ac1a6781e542e891c3419b56c59df (diff) | |
parent | 5fc3d1ecdeb4cf2337436829b5f0d5c923bb57c7 (diff) | |
download | otp-ef4f493c4ccc23d8d43f97f99f35f1bb987b6c44.tar.gz otp-ef4f493c4ccc23d8d43f97f99f35f1bb987b6c44.tar.bz2 otp-ef4f493c4ccc23d8d43f97f99f35f1bb987b6c44.zip |
Merge pull request #1665 from shantiii/maint
Fix link to the contribution guide in README.md
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions