aboutsummaryrefslogtreecommitdiff
path: root/doc/stdlib
diff options
context:
space:
mode:
authorHugo Herbelin2020-02-19 19:11:53 +0100
committerHugo Herbelin2020-02-19 19:27:23 +0100
commita61b3692918e37f21823fde7805ed28e017ebf78 (patch)
treee65d60100df43ceb8383633690ded6115951c46c /doc/stdlib
parentfdcfe8b75be809fcce231a69cb756e1e23d50f93 (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