diff options
| author | Théo Zimmermann | 2018-07-16 18:26:24 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-07-16 18:26:24 +0200 |
| commit | ec817cc2809a69bfff3c26353d1dc64ac59fe30b (patch) | |
| tree | e7065b51753d6e5f1aae8db9801b0c7dce0da94c /kernel/nativecode.mli | |
| parent | cca719d1feed89405db9109badf9adde15dadd99 (diff) | |
Mention the automatic use of the rebase label.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions