diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-08-07 11:06:28 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-08-07 11:06:28 +0200 |
commit | ae7797a2e76d0d2900b31340e8e69fef5cd71525 (patch) | |
tree | ed80a44b119a3c80cace09af83a942878ac70f12 /tools/ndfun.ml | |
parent | f5b99eccf7a667fb017692da6712985445a6b0f4 (diff) | |
download | compcert-ae7797a2e76d0d2900b31340e8e69fef5cd71525.tar.gz compcert-ae7797a2e76d0d2900b31340e8e69fef5cd71525.zip |
port fix for configure from m-schmidt/EndiannessPlayground
Diffstat (limited to 'tools/ndfun.ml')
0 files changed, 0 insertions, 0 deletions