diff options
| author | Emilio Jesus Gallego Arias | 2018-09-27 02:41:18 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-01 05:00:01 +0200 |
| commit | 24086d1000db370fcf74077841506f02849d0c44 (patch) | |
| tree | 10418b37387ed49fb13d8bc11616a370878f1523 /kernel/nativecode.ml | |
| parent | 9d3a2d042500094befe4b88f3aa73693bc287ed9 (diff) | |
[envars] Small implementation cleanup for coqlib internals.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions