diff options
| author | Hugo Herbelin | 2020-08-24 16:40:58 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-08-24 16:40:58 +0200 |
| commit | d49b9f298e46df177400cae775a1c22879543456 (patch) | |
| tree | 21ea97ea49656ae39807d0d2eea1f6629ab0b0d8 /kernel/nativecode.ml | |
| parent | 188e8f7084b586f2e555a5770d24eec8ebd05d91 (diff) | |
| parent | 81ed30792484b5fb947b8e53f1363574015ce546 (diff) | |
Merge PR #12835: Slightly reorganising the test suite to follow its documentation
Reviewed-by: SkySkimmer
Reviewed-by: herbelin
Reviewed-by: jfehrle
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions