diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2016-05-28 10:09:45 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2016-05-28 10:09:45 +0200 |
commit | eb88a303b7d3e3f829800e36e543df9a7dd5d6e2 (patch) | |
tree | 0596cec456dce28cac22dcd596657c0d61d43ace /archrm.in | |
parent | 7fe0f688566fe2bf637d0503056cf04a6d4a5c87 (diff) | |
parent | 8f94d8118fefc48b12be4a35df5ae2ff7a39486f (diff) | |
download | devtools32-eb88a303b7d3e3f829800e36e543df9a7dd5d6e2.tar.xz |
Merge branch 'master' of git.archlinux.org:/srv/git/devtools
Diffstat (limited to 'archrm.in')
0 files changed, 0 insertions, 0 deletions