Commit message (Expand) | Author | Age | |
---|---|---|---|
* | lingeling: enable for darwin | Robert Scott | 2019-12-08 |
* | treewide: remove redundant rec | volth | 2019-08-28 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | lingeling: init at pre1_03b4860d | Austin Seipp | 2018-08-15 |