aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClément Pit-Claudel2020-12-11 09:11:27 -0500
committerClément Pit-Claudel2020-12-11 09:11:27 -0500
commitc8d2248cbbe2c713605e0c61d7342fad948072da (patch)
treef847bb885217a724d4b44762bda72ed293447b76
parentedc599b876949b8a093446cebd7fd3964f9a7c3f (diff)
parent1605ae821f151f1e4b4edab9a0dded02cb91eebf (diff)
Merge PR #13611: Clarify changelog categories.
Reviewed-by: cpitclaudel
-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.rst4
-rw-r--r--doc/changelog/08-tools/00000-title.rst4
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
-^^^^^
-