diff options
| author | Pierre-Marie Pédrot | 2015-02-17 16:28:48 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-17 16:28:48 +0100 |
| commit | df3d820b45695e273515f8d7cf7c0345c7d574c5 (patch) | |
| tree | 6b0545cd4bea33e7021b58c551decf02f2af5025 /lib/errors.ml | |
| parent | 8c0bc2f5e51b6037868a4dcab612390e67136be0 (diff) | |
Fixing bug #4053.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions