small hack to ensure that src/MAKE/MINE is included in the git checkout

This commit is contained in:
Axel Kohlmeyer 2020-04-09 10:11:13 -04:00
parent 69a38115ce
commit 79fc73d3a2
No known key found for this signature in database
GPG Key ID: D9B44E93BF0C375A
1 changed files with 0 additions and 0 deletions

0
src/MAKE/MINE/... Normal file
View File