diff options
| author | notin | 2007-03-21 14:02:37 +0000 |
|---|---|---|
| committer | notin | 2007-03-21 14:02:37 +0000 |
| commit | 3c3c70e20208262952b90ab4abb5090a62f16b64 (patch) | |
| tree | bfa14d328a9a48623d93f025edeb9ba04ea33361 /kernel/type_errors.ml | |
| parent | f35b7d420a31d98c82a4ee3bef631c9fa1b846f9 (diff) | |
Suppression des sauts de lignes superflus de Show Script (test-suite/output/Tactics.v)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9725 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions