diff --git a/.gitignore b/.gitignore index 88507d9772493e1a656f28cfbde845605ae432ad..d4a2b4c5f7e082bf103bd66c2c709dc9a4367759 100644 --- a/.gitignore +++ b/.gitignore @@ -7,6 +7,7 @@ # Folders to ignore results/ +validation/private # Ignore all configs by default and only add some to be kept src/configs/*