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-02-13 08:19:43 +0100
commit	ebfa01fed39a3a0c0846ced4f84d5907ceb60768 (patch)
tree	0650648ffc41bddb587f47b0adf39b1f1ba2c5b4 /lib/valid-repos.sh
parent	2355ef4a6d2b23ff859bea91df56fa01c28139eb (diff)

make armv7h, too

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

0 files changed, 0 insertions, 0 deletions