diff options
| author | Pierre-Marie Pédrot | 2015-05-18 16:59:50 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-05-18 16:59:50 +0200 |
| commit | b994685d85d30f0db8ee0ec10f802f6bf3797e4b (patch) | |
| tree | 5cfcb3213b27a38fcd953da9ee04b947830a1230 /lib/errors.ml | |
| parent | 923ce36ed6789718746369847f622b17bb37df2a (diff) | |
Removing test for opened bugs that were already present in the closed test-suite.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions