diff options
| author |  Enrico Tassi <gareuselesinge@debian.org> | 2015-07-20 09:52:10 +0200 |
|---|---|---|
| committer | Enrico Tassi <gareuselesinge@debian.org> | 2015-07-20 09:52:10 +0200 |
| commit | d57f8a932cc2ca71b9583df4b8e9fb111f80b180 (patch) | |
| tree | 206048082c959247dba58844982eedb5d465ad46 /tactics | |
| parent | 1b014807aa88271b107b5cbb9e2d8bb471e9208f (diff) | |
disable native compiler on non-mainstream arches
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions