| commit | 04f1eb78ed8fd50516aee50102675041a8fd40cd | [log] [tgz] |
|---|---|---|
| author | Clifford Wolf <clifford@clifford.at> | Sat Aug 31 21:54:45 2019 +0200 |
| committer | GitHub <noreply@github.com> | Sat Aug 31 21:54:45 2019 +0200 |
| tree | 38388076bb73c740c402f44fe78f2b7b63d9c083 | |
| parent | 95949315364f8d9b0c693386aefadf44b28e2cf6 [diff] | |
| parent | 37227e2b18c7dffa6ce881632b1cdf40f3b8c3d8 [diff] |
Merge pull request #235 from whitequark/master Make iceprog optional