diff options
| author | Théo Zimmermann | 2018-01-22 10:37:46 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-01-22 10:37:46 +0100 |
| commit | a872ab42a338e0e9ccb5d1586b10fb961b66d425 (patch) | |
| tree | 6164cdca7baa2d527a78172eed5ebab7470ad0c7 /kernel/nativecode.ml | |
| parent | 9aa2464375c1515aa64df7dc910e2f324e34c82f (diff) | |
Move the mention of the removal of Qed exporting at the right place.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions