From bc677bc862eb6308b4af273fd1bb5fe58bfb19cc Mon Sep 17 00:00:00 2001 From: Alyssa Rosenzweig Date: Fri, 17 Mar 2017 22:41:20 -0700 Subject: #pagetop is bad --- docs/future/index.md | 2 +- docs/future/old.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/future') diff --git a/docs/future/index.md b/docs/future/index.md index 7bc52ff8..9e869925 100644 --- a/docs/future/index.md +++ b/docs/future/index.md @@ -1,5 +1,5 @@ -Development notes {#pagetop} +Development notes ================= These are development notes, for future use. For old (obselete) notes, diff --git a/docs/future/old.md b/docs/future/old.md index 304cdb37..62567bb5 100644 --- a/docs/future/old.md +++ b/docs/future/old.md @@ -1,5 +1,5 @@ -Development notes (old/obsolete notes) {#pagetop} +Development notes (old/obsolete notes) ====================================== For current notes, see [](./). -- cgit v1.2.3-70-g09d2