diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-04-06 20:04:27 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-04-06 20:04:27 -0500 |
| commit | 5a94e81f57568d8e7e435c896e96837aef8bad0a (patch) | |
| tree | 9fcf7d650674db0aa5e40e9efc122298d2502d7b /libre/arm-linux-gnueabi-gcc | |
| parent | a1ffd354f36340bd1a0bf6bed83941df666410d2 (diff) | |
Removing giada: This package is in [community] repo
Diffstat (limited to 'libre/arm-linux-gnueabi-gcc')
0 files changed, 0 insertions, 0 deletions