diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-09-29 21:27:26 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-09-29 21:27:26 +0200 |
| commit | 99918c8a8cfb4285798a70351673be2679a6e819 (patch) | |
| tree | d4a8682ac818432d4dfcbb454170f01dbe9c26c5 /library/loadpath.mli | |
| parent | 05ab666a1283de5500dbc0520d18bdb05d95f286 (diff) | |
Fix dumb typo.
Diffstat (limited to 'library/loadpath.mli')
0 files changed, 0 insertions, 0 deletions