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>	2020-04-09 20:58:26 +0200
committer	Erich Eckner <git@eckner.net>	2022-12-08 12:57:22 +0100
commit	a09ca9a1923e767a3e602588f7dc14f087f546ca (patch)
tree	a5bbffc9b344ff1bdc416d31960a1e1f276d182b /lib/valid-repos.sh
parent	e11c7b5621b6b5a003bf4d6b30401459f509d83d (diff)

make armv7h, too

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

0 files changed, 0 insertions, 0 deletions