summaryrefslogtreecommitdiff
path: root/boot
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2015-12-23 11:04:15 +0100
committeralainfrisch <alain@frisch.fr>2015-12-23 11:04:15 +0100
commitf55d23deac431bfe9b8536335d98020d9ac485a2 (patch)
tree54732a4b9ac8e8e49563ace4a4df8073862029d7 /boot
parent86a610a48d4ee5a2f9994dff1fae619a7b2827d4 (diff)
downloadocaml-f55d23deac431bfe9b8536335d98020d9ac485a2.tar.gz
Delete symlink which was wrongly added in commit 0225ca01e39289ce1801fb09cd011cdbfb542b8d and broke build on Windows.
Diffstat (limited to 'boot')
0 files changed, 0 insertions, 0 deletions