| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| * | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
| * | gurobi: add library suffix | Nikolay Amiantov | 2019-06-24 |
| * | gurobi: 8.0.1 -> 8.1 (#53884) | Johannes Frankenau | 2019-01-13 |
| * | gurobi: install Java library files | Johannes Frankenau | 2018-11-14 |
| * | gurobi: init at 8.0.1 | Johannes Frankenau | 2018-07-14 |