summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJim Fehrle <jfehrle@sbcglobal.net>2018-01-25 10:50:44 -0800
committerGitHub <noreply@github.com>2018-01-25 10:50:44 -0800
commit2bd99492ec931b3eda794e730c79b6c0bb3e7194 (patch)
treeb54275cd078b1bd1632f75f7e45bd57f7407e715
parent52454d3742a91b03f47fb76e98f478b32e43684f (diff)
parentea7410e1779c3058b740992f1d0a918a6552352f (diff)
downloadocaml-2bd99492ec931b3eda794e730c79b6c0bb3e7194.tar.gz
Merge pull request #1 from Octachron/pr/1545
manual: last minute fixes
0 files changed, 0 insertions, 0 deletions