make armv7h, too - devtools32 - Archlinux32 fork of devtools

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

diff options

author	Erich Eckner <git@eckner.net>	2019-07-18 13:12:06 +0200
committer	Erich Eckner <git@eckner.net>	2019-11-30 22:09:39 +0100
commit	a97dadc6ec3571eda452079a222ec72fffac1b56 (patch)
tree	e379bec390abef9c1e9186f06d29ada0bb01e833 /lib/valid-repos.sh
parent	9f15eebcb3cd066f95df426758ae8c29d1b927fb (diff)

make armv7h, too

Diffstat (limited to 'lib/valid-repos.sh')

0 files changed, 0 insertions, 0 deletions