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-12-27 21:37:14 +0100
commit	d3284bd75bb56112dfaea3206fba23cff1da1f1d (patch)
tree	009066092855b7b23ee433a85b5afe7e3be1b533 /lib/common.sh
parent	d9eef72bd706dcd1c71a8083f5f16d71f4281b3b (diff)

make armv7h, too

Diffstat (limited to 'lib/common.sh')

0 files changed, 0 insertions, 0 deletions