Commit Graph

2 Commits

Author SHA1 Message Date
Moritz Bunkus
2c3ab3edb1 docs, build scripts: convert further mentions of drake to rake 2017-01-08 21:22:06 +01:00
Moritz Bunkus
ded13bdd76 rename "build" directory to "tools" 2015-10-07 19:50:37 +02:00