diff options
Diffstat (limited to 'docs/future')
-rw-r--r-- | docs/future/index.md | 2 | ||||
-rw-r--r-- | docs/future/old.md | 2 |
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 [](./). |