diff options
| author | Maxime Dénès | 2017-04-27 17:51:12 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-04-27 17:51:12 +0200 |
| commit | 30191ecc9a15156aa146c26177fc21c40ce06f99 (patch) | |
| tree | b25a4986afb3007a01c1d57c41777b8eb986b3b8 /kernel/nativevalues.ml | |
| parent | 338f8df5ea59a46b60fcfbe50e122fd6eee0dc52 (diff) | |
| parent | fa27856d2d4ac0f55b99b9406b74301057deb0aa (diff) | |
Merge PR#586: trivial cleanup commits which does not change Coq API
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions