diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-23 00:07:34 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-23 00:07:34 -0500 |
commit | 6cb23a1996a4873273f0ad58cd5dbe3fc49236ee (patch) | |
tree | 10839a9946058bdb5490f3bd9f83d5ef03590210 /pcr/grub2-theme-gnuaxiom/PKGBUILD | |
parent | 7c1975d85b5a8a8539c1ab9d097a200eebb0b437 (diff) |
jna: minor fix
Diffstat (limited to 'pcr/grub2-theme-gnuaxiom/PKGBUILD')
0 files changed, 0 insertions, 0 deletions