Age | Commit message (Expand) | Author |
---|---|---|
2018-05-18 | extra/devtools: do not apply upstream patch | Erich Eckner |
2018-05-16 | extra/devtools: new version | Erich Eckner |
2018-05-16 | extra/devtools32: correct source url | Erich Eckner |
2018-05-16 | extra/devtools32: new version | Erich Eckner |
2018-01-05 | extra/devtools: replace by our devtools32 | Erich Eckner |