Age | Commit message (Expand) | Author |
2018-06-28 | extra/devtools: new version | Erich Eckner |
2018-06-26 | extra/devtools: new version | Erich Eckner |
2018-06-20 | extra/devtools: new version | Erich Eckner |
2018-06-06 | use sources.archlinux32.org/sources as our sources | Erich Eckner |
2018-06-06 | github -> git.archlinux32.org | Erich Eckner |
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 |