diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-10-09 13:19:20 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-10-09 17:40:56 +0200 |
| commit | 7c82718f18afa3b317873f756a8801774ef64061 (patch) | |
| tree | 3b5b7be2a9ba5985775e247c15b5be70e872f0a9 /kernel/vm.mli | |
| parent | 5e1296a5cae4ae0ab84ddbe7b0ec71959861af97 (diff) | |
Minor typo in universe polymorphism doc.
Diffstat (limited to 'kernel/vm.mli')
0 files changed, 0 insertions, 0 deletions