From 79fc73d3a28a771d8f90c01483bd8e10b76f30dd Mon Sep 17 00:00:00 2001
From: Axel Kohlmeyer <akohlmey@gmail.com>
Date: Thu, 9 Apr 2020 10:11:13 -0400
Subject: [PATCH] small hack to ensure that src/MAKE/MINE is included in the
 git checkout

---
 src/MAKE/MINE/... | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 src/MAKE/MINE/...

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