diff options
| author | Hugo Herbelin | 2015-10-23 17:51:06 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:07 +0100 |
| commit | 5330263aaccb3ba9e7fcb8fada0737491fd99645 (patch) | |
| tree | 76a97360a8b9a44d382d99e9e986f5a9e828bb95 /lib/errors.mli | |
| parent | 899b701462fa056a22f997ae22c5ef7c1d247673 (diff) | |
Removing note on shifting the hierarchy by 1 in 8.4, which makes things more complicated than needed.
Diffstat (limited to 'lib/errors.mli')
0 files changed, 0 insertions, 0 deletions