diff --git a/tools/merge/.gitignore b/tools/merge/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..7fc71ccb60c84c94b0457580cc5b555a31c82b4b --- /dev/null +++ b/tools/merge/.gitignore @@ -0,0 +1 @@ +/a.out