extra/devtools: replace by our devtools32 - packages - Archlinux32 package modifications

Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.

summary refs log tree commit diff

path: root/core

diff options

author	Erich Eckner <git@eckner.net>	2018-01-05 13:21:49 +0100
committer	Erich Eckner <git@eckner.net>	2018-01-05 13:22:08 +0100
commit	30907fc2d1436cf5a97cf17f2d120a87c89f3505 (patch)
tree	80bf4f42a1d6e46504af1e33f57cc45abd877f08 /core
parent	018d6b6c99222ef5a4bae2501cf312397b66b5d0 (diff)

extra/devtools: replace by our devtools32

Diffstat (limited to 'core')

0 files changed, 0 insertions, 0 deletions