diff --git a/src/MAKE/MINE/... b/src/MAKE/MINE/...
new file mode 100644
index 0000000000..e69de29bb2