diff options
author | Erich Eckner <git@eckner.net> | 2019-07-18 13:12:06 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-02-21 08:27:36 +0100 |
commit | c8100550fb43343eb67f8e317352c1678886c4ef (patch) | |
tree | e598db3ee2b252d223fd4f3607c69f8610aa3076 /.gitignore | |
parent | 35a384de37e64729c0c1c4c1cbb58a70cad40daf (diff) | |
download | devtools32-c8100550fb43343eb67f8e317352c1678886c4ef.tar.xz |
make armv7h, too
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -23,7 +23,9 @@ pacman-*-i486.conf pacman-*-i686.conf pacman-*-pentium4.conf pacman-*-armv6h.conf +pacman-*-armv7h.conf makepkg-armv6h.conf +makepkg-armv7h.conf makepkg-i486.conf makepkg-i686.conf makepkg-pentium4.conf |