| commit | 2de8b9fc11447c29fbb1559f03491eac1f7fa2cf | [log] [tgz] |
|---|---|---|
| author | Raphael von der Grün <raphinesse@gmail.com> | Wed May 08 20:12:41 2019 +0200 |
| committer | GitHub <noreply@github.com> | Wed May 08 20:12:41 2019 +0200 |
| tree | 082dbf17f9d59851b8bb5f882aa6d9ed8741012b | |
| parent | 0e85c1f649107e600589a4ef1dfec0ce03daa9eb [diff] | |
| parent | e7e22306aaa72e1f3f72ad5e169e534060dd73d4 [diff] |
Merge pull request #982 from raphinesse/remove-unused Remove leftover tools and dependencies from previous build system