diff options
| author | Jason Gross | 2018-05-31 18:45:12 -0400 |
|---|---|---|
| committer | Jason Gross | 2018-05-31 18:45:12 -0400 |
| commit | 3608fe7c20436095cba1a1a62c89ccc70770dac7 (patch) | |
| tree | 0883b1c725ea1a8ebc78d4b958d743ae7fc16a0d /kernel/nativecode.mli | |
| parent | 88a632b508977966b1e8d4f4449824a55ffc65d1 (diff) | |
| parent | b10c4310ad782e5e65b5f7cd6314e682c440fec4 (diff) | |
Merge PR #7652: Explicitly require python2 in python scripts in tools/
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions