Rename directories

This commit is contained in:
Oliver Davies 2021-02-06 22:46:22 +00:00
parent a5bee4685a
commit 9f3226aec5
142 changed files with 3 additions and 3 deletions

View file

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