diff --git a/trick_source/er7_utils/.gitignore b/trick_source/er7_utils/.gitignore new file mode 100644 index 00000000..f3c7a7c5 --- /dev/null +++ b/trick_source/er7_utils/.gitignore @@ -0,0 +1 @@ +Makefile