Allow same `Mix` file in different dirs (#9619)
-rw-r--r-- 55 .gitignore
-rw-r--r-- 425 .travis.yml
-rw-r--r-- 1437 LICENSE
-rw-r--r-- 239 README.md
-rw-r--r-- 87 Setup.hs
drwxr-xr-x - Trace
-rw-r--r-- 294 changelog.md
-rw-r--r-- 1194 hpc.cabal
-rw-r--r-- 60 prologue.txt
drwxr-xr-x - tests