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>	2020-04-08 08:45:48 +0200
commit	339c125076272ea1dcb940224a008b59b041d399 (patch)
tree	d4c32531fb2048e3a35e27bc00f42d5603f1b978 /lib/valid-repos.sh
parent	f233cd903c0065524c20741f33293091fd2dd7e8 (diff)

make armv7h, too

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

0 files changed, 0 insertions, 0 deletions