Revert "Rename directories"

This reverts commit 9f3226aec5.
This commit is contained in:
Oliver Davies 2021-02-11 17:56:17 +00:00
parent ad40ba6d2d
commit b032798d69
142 changed files with 3 additions and 3 deletions

View file

@ -0,0 +1,4 @@
.. code-block:: javascript
:include: code/additional-config-options.txt
:hl_lines: 2 3 4
:linenos: