diff options
| author | Pierre-Marie Pédrot | 2015-02-15 13:39:27 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-15 13:39:27 +0100 |
| commit | f9c2d5d26a6a8e15549ada1f69d630acfa1a9437 (patch) | |
| tree | 16c64d31a3fea1c3fdbcb54996fb2c7e3a7c831e /lib/errors.ml | |
| parent | 5830f5867f36ebf66bc1f4126762f4b1c1444f94 (diff) | |
Fixing test-suite.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions