diff options
| author | Pierre-Marie Pédrot | 2014-03-05 20:14:51 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-03-05 20:15:04 +0100 |
| commit | 4e5747adfd7b5c83cac2c4bb242d85fd3cb6fdd0 (patch) | |
| tree | eb1bc399ecbdd9e147839492f5418e70695d2198 /lib/errors.ml | |
| parent | 450628742c1c5ef5391b0a16acfc99ad23205094 (diff) | |
Fixing previous commit. Forgot to include some code.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions