diff options
author | 2015-07-20 09:52:10 +0200 | |
---|---|---|
committer | 2015-07-20 09:52:10 +0200 | |
commit | d57f8a932cc2ca71b9583df4b8e9fb111f80b180 (patch) | |
tree | 206048082c959247dba58844982eedb5d465ad46 /plugins/romega/const_omega.mli | |
parent | 1b014807aa88271b107b5cbb9e2d8bb471e9208f (diff) |
disable native compiler on non-mainstream arches
Diffstat (limited to 'plugins/romega/const_omega.mli')
0 files changed, 0 insertions, 0 deletions