diff options
| author | Hugo Herbelin | 2014-10-21 21:41:24 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-10-22 11:04:30 +0200 |
| commit | 2f08f9de37c8e4cee4787e98136886f090e0eafb (patch) | |
| tree | 73cfb5d062c020434483d2ae76a6bee9788e5c5b /kernel/nativecode.ml | |
| parent | 20cc33c08ff74f24fff57dbb0ba061efe56bfa6d (diff) | |
Fixing typo absorption (bug #3751).
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions