diff options
Diffstat (limited to 'docs/future')
-rw-r--r-- | docs/future/index.md | 4 | ||||
-rw-r--r-- | docs/future/old.md | 4 |
2 files changed, 2 insertions, 6 deletions
diff --git a/docs/future/index.md b/docs/future/index.md index 1336478e..7b5d2659 100644 --- a/docs/future/index.md +++ b/docs/future/index.md @@ -1,6 +1,4 @@ - -Development notes -================= +% Development notes These are development notes, for future use. For old (obselete) notes, see [old.html](old.html). diff --git a/docs/future/old.md b/docs/future/old.md index dc3b5dbd..71107fba 100644 --- a/docs/future/old.md +++ b/docs/future/old.md @@ -1,6 +1,4 @@ - -Development notes (old/obsolete notes) -====================================== +% Development notes (old/obsolete notes) For current notes, see [](./). |