diff options
author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2019-12-23 12:02:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-23 12:02:48 +0100 |
commit | 4e6e9123287405a08b349c3e0e12d53000e8534d (patch) | |
tree | 2fcbbf9d27e0944100ca5d99894e40f723ccb25d /.gitattributes | |
parent | 61d2352dc9afcaf1df9640d5681a0b50926fb9c6 (diff) | |
parent | 41441a65f1dd0bfb8ed8ab7ffd7e91ea00b50eba (diff) | |
download | ocaml-4e6e9123287405a08b349c3e0e12d53000e8534d.tar.gz |
Merge pull request #9203 from xavierleroy/portability-fixes
Minor portability and standard-conformance issues in the runtime system
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions