diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-22 17:58:15 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-22 17:58:15 -0500 |
commit | e71f51acd0bbce12de5a1748756052193913747b (patch) | |
tree | e6ae1cb2ac1476b9a5ec3774cfaedeb160765321 /libre/gnome-boxes/PKGBUILD | |
parent | 1a23deef5d9f0a429670a7563fc1c16bf827d80b (diff) |
linux-libre-api-headers: Add armv7h in arch
Diffstat (limited to 'libre/gnome-boxes/PKGBUILD')
0 files changed, 0 insertions, 0 deletions