diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-10-05 19:22:28 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-10-05 19:22:28 +0200 |
commit | 9c033b4da738fb399eebe9f8ccf0f8a407d6d42e (patch) | |
tree | d577536cada246e5824b8805fc9b0c460864ab89 /dev/doc | |
parent | 4fdc21aaa280b7580590a98d27388a44cb86e8d4 (diff) | |
parent | 25c0f1b9657c873022fbe63d676eda058464e3c3 (diff) |
Merge PR #1081: Mini fix at improving the cannot unify error message
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions