diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2012-06-08 06:17:45 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2012-06-08 06:17:45 -0500 |
| commit | 33790850fcb4b99800127a314da8793563a21ba7 (patch) | |
| tree | 7d318d38912905ca03d0b789fa1913f1a4db88a2 /extra/ogmtools | |
| parent | b43058c52b47fecc180b37edd37968c96df4c9a7 (diff) | |
Fix mips64el in arch() of kile-libre
Diffstat (limited to 'extra/ogmtools')
0 files changed, 0 insertions, 0 deletions