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 /.gitignore | |
| parent | d9eef72bd706dcd1c71a8083f5f16d71f4281b3b (diff) | |
| download | devtools32-d3284bd75bb56112dfaea3206fba23cff1da1f1d.tar.xz | |
make armv7h, too
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -22,7 +22,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 |