Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-05-31 | extra/devtools: new version | Erich Eckner | |
2018-05-29 | extra/devtools: new version | Erich Eckner | |
2018-05-29 | extra/devtools: new version | Erich Eckner | |
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 | |