diff options
| author | Pierre Boutillier | 2014-06-30 18:15:41 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-07-03 18:02:59 +0200 |
| commit | 157ccc2da0f62dad730f1f13b875c48e3af4eb09 (patch) | |
| tree | 77ea7cf4bfb4cdcba858ebc285419a58b3124cfb /kernel/type_errors.ml | |
| parent | c892f8cab37c0a89f6975e6a14bebad4d86156bd (diff) | |
coqdoc is minimaly -Q aware
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions