diff options
| author | Pierre Boutillier | 2014-08-25 16:11:34 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-08-25 16:12:02 +0200 |
| commit | f23e7e7d6f8912ef3ddcc6288cd0f5710a12b99a (patch) | |
| tree | 736eac4420e21366eb8eb04fae1250a43d6ea336 /kernel/nativecode.mli | |
| parent | 4fef230a1ee1964712e3ac7f325ce00968ac4769 (diff) | |
Prerequisite to fix stm test-suite when not in -local
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions