diff options
| author | Pierre-Marie Pédrot | 2016-05-04 14:30:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-05-04 14:34:18 +0200 |
| commit | 8d3f0b614d7b2fb30f6e87b48a4fc5c0d286e49c (patch) | |
| tree | 6a244976f5caef6a2b88c84053fce87f94c78f96 /kernel/vconv.ml | |
| parent | c7fd62135403c1ea38194fcdd8035237ee108318 (diff) | |
Normalizing the names of dynamic types to follow a typ_* scheme.
Diffstat (limited to 'kernel/vconv.ml')
0 files changed, 0 insertions, 0 deletions