diff -r c2b6354f036f -r 02fa0f8484d7 .gitignore
--- a/.gitignore	Tue Aug 01 21:04:00 2023 +0200
+++ b/.gitignore	Tue Aug 01 23:07:39 2023 +0200
@@ -6,3 +6,4 @@
 **/.svghmithumbs/**
 **/my_*.der
 **/my_*.pem
+tests/tools/Docker/requirements.txt