diff options
| author | Frédéric Besson | 2014-10-22 23:50:10 +0200 |
|---|---|---|
| committer | Frédéric Besson | 2014-10-22 23:50:10 +0200 |
| commit | 6bbda9a484da0c355254c30c0e3230d750d70f81 (patch) | |
| tree | 6b32a9940daa5c1e2a27e93e6130c17db6cc22d0 /kernel/nativecode.ml | |
| parent | 687d31dcad76fa609ff06fb053030db886f393a6 (diff) | |
Bugfix 3604 : more robust Unix.lockf
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions