diff options
| author | Erich Eckner <git@eckner.net> | 2020-04-09 20:58:26 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-05-18 08:45:02 +0200 |
| commit | ec0c0d2350bd7e72fa116e89050809ed4c1d97d6 (patch) | |
| tree | 93696dd3e4aa140c44743023fa93901272dd578c /.gitignore | |
| parent | ad068c4b0483faf2ad58d56f0ff3ca6e79d2874a (diff) | |
| download | devtools32-ec0c0d2350bd7e72fa116e89050809ed4c1d97d6.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 |