aboutsummaryrefslogtreecommitdiff
path: root/docs/future
diff options
context:
space:
mode:
Diffstat (limited to 'docs/future')
-rw-r--r--docs/future/index.md2
-rw-r--r--docs/future/old.md2
2 files changed, 2 insertions, 2 deletions
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 [](./).