diff options
| author | glondu | 2010-10-05 06:14:20 +0000 |
|---|---|---|
| committer | glondu | 2010-10-05 06:14:20 +0000 |
| commit | e2c995a06074c06737a794e5d95da76d27e63b51 (patch) | |
| tree | bc9d403ed431e12d49cbf5f9b5930cea23b80f10 /plugins | |
| parent | f08e50f55cc8348997e8d939e603da554d8f329c (diff) | |
test-suite: use unified diff output and use expected output as reference
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13495 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions