diff options
| author | Hugo Herbelin | 2020-02-19 19:11:53 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-19 19:27:23 +0100 |
| commit | a61b3692918e37f21823fde7805ed28e017ebf78 (patch) | |
| tree | e65d60100df43ceb8383633690ded6115951c46c /doc/stdlib | |
| parent | fdcfe8b75be809fcce231a69cb756e1e23d50f93 (diff) | |
Remove the dependency in float.cmo and uint63.cmo for building votour.
This was useless since PR #11247 and is a cause of failure in bytecode
compilation on some exotic architectures (such as "armel").
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions
