diff options
| author | Maxime Dénès | 2017-03-07 01:31:24 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-07 01:31:24 +0100 |
| commit | 168f7a6415ad86a015c1f793b97554cb1d9e45bc (patch) | |
| tree | 6bd420952e8e08e02bfbcd8a7db0c0ef0bb8955c /kernel/nativecode.ml | |
| parent | 480082fe4a15dbd5d8ed2e9820a6329db10442bf (diff) | |
| parent | dddfbd00053a761581ea496fdddad2bc5bc14ec8 (diff) | |
Merge PR#436: [ocamlbuild] Update META for the vernac split.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions