diff options
Diffstat (limited to 'doc/changelog/07-commands-and-options/11187-remove-addpath.rst')
| -rw-r--r-- | doc/changelog/07-commands-and-options/11187-remove-addpath.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/changelog/07-commands-and-options/11187-remove-addpath.rst b/doc/changelog/07-commands-and-options/11187-remove-addpath.rst index 283c44fda6..58c53e3b1d 100644 --- a/doc/changelog/07-commands-and-options/11187-remove-addpath.rst +++ b/doc/changelog/07-commands-and-options/11187-remove-addpath.rst @@ -1,4 +1,4 @@ -- Removed legacy commands ``AddPath``, ``AddRecPath``, and ``DelPath`` +- **Removed:** Legacy commands ``AddPath``, ``AddRecPath``, and ``DelPath`` which were undocumented, broken variants of :cmd:`Add LoadPath`, :cmd:`Add Rec LoadPath`, and :cmd:`Remove LoadPath` (`#11187 <https://github.com/coq/coq/pull/11187>`_, |