diff options
| author | fanquake <fanquake@gmail.com> | 2019-06-21 18:41:56 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2019-06-21 18:42:17 +0800 |
| commit | 32e94538185b61fe64bd16de2459e763ec46b4da (patch) | |
| tree | 0baf0aa1e3c7b5ffccbfe37f2a849bb8a514e748 /src/reverse_iterator.h | |
| parent | fd333e15a5454ea7be85702b5eefb3edca1da794 (diff) | |
| parent | 5a88ea7c67448748a63ac7963c70a047a5daca79 (diff) | |
Merge #16256: doc: remove orphaned header in developer notes
5a88ea7c67448748a63ac7963c70a047a5daca79 doc: remove orphaned header in developer notes (Jon Atack)
Pull request description:
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.
ACKs for commit 5a88ea:
fanquake:
ACK 5a88ea7c67448748a63ac7963c70a047a5daca79
Tree-SHA512: d2a0bea27cd9209adec2127fae5e336c44771aa46af7c544fa2c80a3df4868adafbccc30ef370369404b882fa009f7198cbf41777afd30eccf0c21a7eb1d0ad1
Diffstat (limited to 'src/reverse_iterator.h')
0 files changed, 0 insertions, 0 deletions