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.ml | |
parent | 05ab666a1283de5500dbc0520d18bdb05d95f286 (diff) |
Fix dumb typo.
Diffstat (limited to 'library/loadpath.ml')
0 files changed, 0 insertions, 0 deletions