diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-01-23 08:33:07 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-01-23 08:33:07 -0500 |
| commit | 5c04655d817a0db55793f02c61a6d46f75c3fffe (patch) | |
| tree | 661e0bf6b0ea057af5c5f91106df7a6963ed72fc /pcr/mini18n-git | |
| parent | a014c6516881f03ad1fc82440d0b8958ef0df59f (diff) | |
shogun: SSE only x86_64
Diffstat (limited to 'pcr/mini18n-git')
0 files changed, 0 insertions, 0 deletions