diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-11-02 20:16:03 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-11-02 20:16:03 -0500 |
| commit | e51cb0af4c636000af85de1c4acaa9e04ec386f4 (patch) | |
| tree | e89b48e56edea86e45769f0125403ac556d341cb /libre/ark/ark.install | |
| parent | fbaa0e02ab71140eb2315277395ff43c1dc3f45f (diff) | |
midori: armv7h port
Diffstat (limited to 'libre/ark/ark.install')
0 files changed, 0 insertions, 0 deletions