diff options
| author | Matthieu Sozeau | 2016-04-04 15:47:34 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-04-04 15:49:44 +0200 |
| commit | 17c2147fe0a73b4e0af6481afd73df5cdcf8aefd (patch) | |
| tree | ff033745484a89ec95685a36113cf3aa94081ab8 /kernel/nativecode.mli | |
| parent | 009aaf99456362df6f8dbf8cc0df572a9a590574 (diff) | |
Fix after merge, the revert of Bind Scope applies to trunk only.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions