diff options
| author | Maxime Dénès | 2017-10-25 17:09:42 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-12-22 15:35:36 +0100 |
| commit | 9bf41e6e793963ffed5171d3338bda4f91a46cd5 (patch) | |
| tree | 294a4afd337a1b192ceb4a29ca49f623588487eb /API/API.mli | |
| parent | 2a056809bcd025ab59791e4f839c91c8361b77c4 (diff) | |
Remove legacy Value.normalize function.
It was the identity.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions