diff --git a/tools/merge/.gitignore b/tools/merge/.gitignore index 6a027f5d5ab8e459e013ce3c67e6ab65dbbda1fc..e2a893582820e7fd93bed9caea76089436af5dc0 100644 --- a/tools/merge/.gitignore +++ b/tools/merge/.gitignore @@ -1,2 +1,3 @@ /a.out /merge +/rocksmerge