diff options
| author | Enrico Tassi | 2015-02-12 22:33:22 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-02-12 22:34:07 +0100 |
| commit | 7d06e602bea9e7a2c98e1c6badab3a667714b5c8 (patch) | |
| tree | 62409528606ad9df107cf28260f8da8a7fd5b6ba /kernel/declarations.mli | |
| parent | 154bb6a5134c35caea187b83334c098dbadb4e48 (diff) | |
Fix typos about .vio files (thanks Arthur for spotting them)
Diffstat (limited to 'kernel/declarations.mli')
0 files changed, 0 insertions, 0 deletions