Move Shake database to shake-build/.db, rename _shake to .shake for consistency.
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 20 Dec 2015 04:04:07 +0000 (04:04 +0000)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sun, 20 Dec 2015 04:04:07 +0000 (04:04 +0000)
commitddfe5bcdfaf7147bee73d790e42584c78485127c
tree3c0a6db90434a66da742a9b862937727476f1d35
parent12034445640aadd319ee7639c303b524c1d6df80
Move Shake database to shake-build/.db, rename _shake to .shake for consistency.
.gitignore
build.bat
build.sh
src/Base.hs