diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-07-30 18:08:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-30 18:08:47 +0200 |
| commit | 5de54bc149502672ffe4e58194407cb26895ce38 (patch) | |
| tree | 99faa4d8304b3a7adf5b85e493ab83572a840425 /otherlibs/win32unix/Makefile | |
| parent | 725c6200991981d45f14b0594b64e7784508c13b (diff) | |
| parent | 103debaa59d30ba93a7bcf3dcbbe085ac927a85a (diff) | |
| download | ocaml-5de54bc149502672ffe4e58194407cb26895ce38.tar.gz | |
Merge pull request #1919 from gasche/fatal_error_format
Misc.fatal_error: use Format.eprintf instead of prerr_string
Diffstat (limited to 'otherlibs/win32unix/Makefile')
0 files changed, 0 insertions, 0 deletions