diff options
| author | Maxime Dénès | 2014-11-10 12:23:10 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2014-11-10 12:23:10 +0100 |
| commit | f361f6b0316ed32a120b9133d5583caea777207f (patch) | |
| tree | 332ed6667fdd4fce552784cba7925b6e24935412 /kernel/nativecode.mli | |
| parent | 7f56dfb365e58f8dbb1db99faecec2a126bab0e5 (diff) | |
Better printing of dynlink errors in native compiler.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions