diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-01-27 17:45:56 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-01-27 17:45:56 -0500 |
commit | d3f483f28fa8b4f11577ce5af087fc3de06aca6e (patch) | |
tree | 3e236ea8973bec507ab5c05fe21eac3fc64ba9d6 /libre/java-jline/build.xml | |
parent | 52551ba27afb95c7c44c5bfe76e91996d328c7ce (diff) | |
download | abslibre-d3f483f28fa8b4f11577ce5af087fc3de06aca6e.tar.gz abslibre-d3f483f28fa8b4f11577ce5af087fc3de06aca6e.tar.bz2 abslibre-d3f483f28fa8b4f11577ce5af087fc3de06aca6e.zip |
linux-libre-api-headers-4.12.7_gnu-1.1: compile for different architectures
Diffstat (limited to 'libre/java-jline/build.xml')
0 files changed, 0 insertions, 0 deletions