Age | Commit message (Expand) | Author |
---|---|---|
2018-10-19 | Remove autotools build system. (#2639) | Mathias Preiner |
2014-06-19 | Fix make install-examples. | Morgan Deters |
2014-06-19 | basic fixes for sets translator, separate binaries | Kshitij Bansal |
2014-06-06 | Sets translate, and other short fixes | Kshitij Bansal |