diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-01-15 18:44:59 +0530 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-01-18 00:16:43 +0530 |
| commit | 93628d2e7156943edf3cfffa25a21855fb4b06db (patch) | |
| tree | 5addbf61623a35a72958786d126284f4af567051 /kernel/names.mli | |
| parent | 47946681812adf60cc7ebdc9bdbcb7ade4a588a2 (diff) | |
Minor fixes to the refman credits to be continued.
Diffstat (limited to 'kernel/names.mli')
0 files changed, 0 insertions, 0 deletions