diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2015-10-28 16:56:41 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2015-10-28 16:57:55 +0100 |
commit | 110f7b41eca9c3e22fff0df67419b57d9c2ef612 (patch) | |
tree | 3c19a09a5c08f6df478c99c1d34d5189e56b1310 /library/libobject.ml | |
parent | f1dd27ae0e6082b111770fa74cba6abda30f3b89 (diff) |
Fix test suite after Matthieu's ed7af646f2e486b.
Diffstat (limited to 'library/libobject.ml')
0 files changed, 0 insertions, 0 deletions