summaryrefslogtreecommitdiff
path: root/utils/config.mlp
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2016-07-11 14:50:56 +0200
committeralainfrisch <alain@frisch.fr>2016-07-11 14:50:56 +0200
commitd88ac0ac7d2e6eccd3d393d92f9e7b52c6de9ed3 (patch)
treef9e2c6d524d40d255cd93618eae754fb92a1cd85 /utils/config.mlp
parent2c96a267dc3bf715d64aa134c031602d398d90ab (diff)
downloadocaml-d88ac0ac7d2e6eccd3d393d92f9e7b52c6de9ed3.tar.gz
Rename String.split to String.split_on_char (#626).
Diffstat (limited to 'utils/config.mlp')
0 files changed, 0 insertions, 0 deletions