diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-05-29 15:38:59 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-05-29 15:38:59 -0500 |
commit | edb3a5d6629e3a46f7725e9157e69bb5db131a21 (patch) | |
tree | 1cd9695a1ba9f75f3169841ddc0e1087adcfb53d /libre/beanshell | |
parent | 51dc032701cddec090a5befade689dfdf5dae55f (diff) | |
download | abslibre-edb3a5d6629e3a46f7725e9157e69bb5db131a21.tar.gz abslibre-edb3a5d6629e3a46f7725e9157e69bb5db131a21.tar.bz2 abslibre-edb3a5d6629e3a46f7725e9157e69bb5db131a21.zip |
pacman: armv7h port
Diffstat (limited to 'libre/beanshell')
0 files changed, 0 insertions, 0 deletions