Commit Graph

4 Commits

Author SHA1 Message Date
Moritz Bunkus
5245f74b0e
Revert "build system: remove included drake"
This reverts commit 040c0fccf4.
2022-04-11 21:36:55 +02:00
Moritz Bunkus
040c0fccf4 build system: remove included drake 2017-01-08 21:00:55 +01:00
Moritz Bunkus
4c84c4ce12 Upgrade included drake to 0.9.2.0.3.1 2012-04-16 22:13:03 +02:00
Moritz Bunkus
a81a7b5a5d Include our own copy of drake for easier building 2010-08-01 11:43:08 +02:00