diff --git a/users/edef/.gitignore b/users/edef/.gitignore new file mode 100644 index 000000000..ef4fcfc34 --- /dev/null +++ b/users/edef/.gitignore @@ -0,0 +1,3 @@ +result-* +result +target