diff --git a/resources/.gitignore b/resources/.gitignore index 334fc452d6..1f729ae457 100644 --- a/resources/.gitignore +++ b/resources/.gitignore @@ -19,3 +19,5 @@ **/*.BIT* **/*.INP **/*.OUT* + +!**/*.sha1