diff options
| author | pboutill | 2012-09-07 12:03:21 +0000 |
|---|---|---|
| committer | pboutill | 2012-09-07 12:03:21 +0000 |
| commit | 882e9d8f03d7b40c850f04d3f33a32950035244a (patch) | |
| tree | be952c210e2395be1e97b02dea73d23e1baaf73f /kernel/type_errors.ml | |
| parent | cbe08fab7f8eabd8837102524ee11d81024fa443 (diff) | |
Coqdoc: fix --utf8 bug for pretty printing
Author: Francois Ripault <francois.ripault@epita.fr>
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15782 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions