diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-10-12 02:16:15 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-10-12 02:16:15 -0500 |
| commit | 334f0c656ce567126533a8146c882baf06fcb3c6 (patch) | |
| tree | 26865bee20b54b05ad46b909b208360097dcf8cd /libre/texlive-bin | |
| parent | d35e08e9ed95e7ac1b4a8811a7a212fa4b929c71 (diff) | |
consolekit: armv7h port
Diffstat (limited to 'libre/texlive-bin')
0 files changed, 0 insertions, 0 deletions