diff options
| -rw-r--r-- | doc/changelog/07-vernac-commands-and-options/00000-title.rst (renamed from doc/changelog/07-commands-and-options/00000-title.rst) | 0 | ||||
| -rw-r--r-- | doc/changelog/07-vernac-commands-and-options/13556-master.rst (renamed from doc/changelog/07-commands-and-options/13556-master.rst) | 0 | ||||
| -rw-r--r-- | doc/changelog/08-cli-tools/00000-title.rst | 4 | ||||
| -rw-r--r-- | doc/changelog/08-tools/00000-title.rst | 4 |
4 files changed, 4 insertions, 4 deletions
diff --git a/doc/changelog/07-commands-and-options/00000-title.rst b/doc/changelog/07-vernac-commands-and-options/00000-title.rst index fe50ae0e16..fe50ae0e16 100644 --- a/doc/changelog/07-commands-and-options/00000-title.rst +++ b/doc/changelog/07-vernac-commands-and-options/00000-title.rst diff --git a/doc/changelog/07-commands-and-options/13556-master.rst b/doc/changelog/07-vernac-commands-and-options/13556-master.rst index 05a60026a3..05a60026a3 100644 --- a/doc/changelog/07-commands-and-options/13556-master.rst +++ b/doc/changelog/07-vernac-commands-and-options/13556-master.rst diff --git a/doc/changelog/08-cli-tools/00000-title.rst b/doc/changelog/08-cli-tools/00000-title.rst new file mode 100644 index 0000000000..4c0de43f66 --- /dev/null +++ b/doc/changelog/08-cli-tools/00000-title.rst @@ -0,0 +1,4 @@ + +Command-line tools +^^^^^^^^^^^^^^^^^^ + diff --git a/doc/changelog/08-tools/00000-title.rst b/doc/changelog/08-tools/00000-title.rst deleted file mode 100644 index 581585a8a7..0000000000 --- a/doc/changelog/08-tools/00000-title.rst +++ /dev/null @@ -1,4 +0,0 @@ - -Tools -^^^^^ - |