diff options
| author | Pierre Chambart <chambart@users.noreply.github.com> | 2016-07-08 16:53:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-08 16:53:25 +0200 |
| commit | bd9d5555b6f5dd5c19449975094ea3c28b45766b (patch) | |
| tree | 4cd1328fcd39aabd8c861d6e4d2b51b77d92ddd5 /stdlib | |
| parent | c822b5a73ed43c0104f04178355bb2e6fa612e37 (diff) | |
| parent | a1c4cba8371e42956a21644eaf1c0cd823767461 (diff) | |
| download | ocaml-bd9d5555b6f5dd5c19449975094ea3c28b45766b.tar.gz | |
Merge pull request #602 from chambart/required_globals
Do not generate dummy code to force module linking
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions