diff options
| -rw-r--r-- | doc/developer-notes.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/developer-notes.md b/doc/developer-notes.md index f4fc55427d..ecd720539e 100644 --- a/doc/developer-notes.md +++ b/doc/developer-notes.md @@ -34,7 +34,6 @@ Developer Notes - [Source code organization](#source-code-organization) - [GUI](#gui) - [Subtrees](#subtrees) - - [Git and GitHub tips](#git-and-github-tips) - [Scripted diffs](#scripted-diffs) - [Release notes](#release-notes) - [RPC interface guidelines](#rpc-interface-guidelines) |