diff options
| author | herbelin | 2007-05-17 14:55:44 +0000 |
|---|---|---|
| committer | herbelin | 2007-05-17 14:55:44 +0000 |
| commit | c77c470dbecd9c5a8435995515ebac8336a6591a (patch) | |
| tree | 50c1d869f38c4cb85503f9a021ff68d644542d00 /kernel | |
| parent | 01eb823bc346f06e0a075a9dc2bbf6aa9e70b2d1 (diff) | |
Fixed bug #1540 (typo on name .coqide-gtk2rc)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9828 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions