Merge pull request #75 from leondavi/masterFix

remove redundant dump file and add *.dump to ignore
leondavi · Jan 4, 2022 · ec0f4c2 · ec0f4c2
2 parents 7356d2e + 4724ff7
commit ec0f4c2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 183,876 deletions.
diff --git a/.gitignore b/.gitignore
@@ -11,7 +11,7 @@
 src_erl/.idea
 src_cpp/.idea
 src_cpp/*.so
-/*.dump
+*.dump
 /*.iml
 /src_erl/Communication_Layer/http_Nerlserver/input/
 /src_erl/Communication_Layer/http_Nerlserver/_build/