diff options
| author | regisgia | 2013-09-02 09:21:00 +0000 |
|---|---|---|
| committer | regisgia | 2013-09-02 09:21:00 +0000 |
| commit | 1730ab3d5955190e959be74d6f5bca6b811637fa (patch) | |
| tree | 47ec6b4fcaa7b26dbcb3b56003ce3777c27955ea /dev | |
| parent | 16328ec755874a9b704dde4ec22a75123e2f9f96 (diff) | |
* test-suite/success/Unicode_utf8:
Regression test for bug #3020.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16756 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions