diff options
| author | Théo Zimmermann | 2020-12-11 10:02:27 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-12-11 10:02:30 +0100 |
| commit | 1605ae821f151f1e4b4edab9a0dded02cb91eebf (patch) | |
| tree | 77e328ea3aa893d0f25fc59e0fa4c626a01a881b /doc/changelog/08-tools | |
| parent | 1918f19cb43d6d4313276b167af38316b27879f2 (diff) | |
Clarify changelog categories.
For readers of the changelog: title "Tools" become "Command-line tools".
For developers: changelog categories 07 and 08 are disambiguated.
Diffstat (limited to 'doc/changelog/08-tools')
| -rw-r--r-- | doc/changelog/08-tools/00000-title.rst | 4 |
1 files changed, 0 insertions, 4 deletions
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 -^^^^^ - |