diff --git a/tools/diff.exe b/tools/diff.exe
new file mode 100755
index 0000000000..85f370d867
Binary files /dev/null and b/tools/diff.exe differ