diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-11-17 11:52:57 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-11-17 11:52:57 -0500 |
| commit | 66dfedfb836f5f40949979259db427572c8fb3f4 (patch) | |
| tree | 7a57a588e884b5a919b800b57942daae47cb23a0 /libre/jedit/jedit-fix_build.patch | |
| parent | 6a9535f14711fcbb4f16f29cbe246dd78db4699d (diff) | |
soundkonverter: armv7h support
Diffstat (limited to 'libre/jedit/jedit-fix_build.patch')
0 files changed, 0 insertions, 0 deletions