diff options
| author | coq | 2003-09-23 10:47:14 +0000 |
|---|---|---|
| committer | coq | 2003-09-23 10:47:14 +0000 |
| commit | 171a0af74fde8f05ac440491feb6acb76352b9e2 (patch) | |
| tree | ae6f812429c51cce469c7be41fb12b2d1a98ad37 /dev | |
| parent | 2e4bc1ce29c52ae6e0625bef9a6905a70c0e6e89 (diff) | |
Correction bug 328
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4456 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions