diff options
author | Jon Atack <jon@atack.com> | 2019-06-20 18:07:02 -0400 |
---|---|---|
committer | Jon Atack <jon@atack.com> | 2019-06-20 18:15:17 -0400 |
commit | 5a88ea7c67448748a63ac7963c70a047a5daca79 (patch) | |
tree | 6501149d79924ef9fc1734c2996a44bf8a22e5f7 /contrib/devtools | |
parent | 413e438ea9767710d4810c4400fd1242ca52cd1c (diff) | |
download | bitcoin-5a88ea7c67448748a63ac7963c70a047a5daca79.tar.xz |
doc: remove orphaned header in developer notes
The "Git and GitHub tips" section was moved from doc/developer-notes.md to doc/productivity.md in 5b76c31, but the header link to that long-gone section in the developer notes remains and needs to go.
So long, Git and GitHub tips, we barely knew ya.
Diffstat (limited to 'contrib/devtools')
0 files changed, 0 insertions, 0 deletions