.gitignore
changeset 3942 ac6408084c60
parent 3841 02fa0f8484d7
child 3943 5df2cbc1cd1a
--- a/.gitignore	Fri Apr 26 09:45:02 2024 +0200
+++ b/.gitignore	Fri Apr 26 13:40:34 2024 +0530
@@ -7,3 +7,4 @@
 **/my_*.der
 **/my_*.pem
 tests/tools/Docker/requirements.txt
+doc/_build/**