Age | Commit message (Expand) | Author |
---|---|---|
2019-12-06 | contrib: Setup all dependencies in deps/ directory. (#3534) | Mathias Preiner |
2019-01-11 | Fixed linking against drat2er, and use drat2er (#2785) | Alex Ozdemir |
2018-12-17 | Configured for linking against drat2er (#2754) | Alex Ozdemir |