diff options
| author | corbinea | 2009-10-27 09:05:29 +0000 |
|---|---|---|
| committer | corbinea | 2009-10-27 09:05:29 +0000 |
| commit | 7a9a59d693c9f3a60db10325ae72ff1675948695 (patch) | |
| tree | 6dc09033899609a742aebfd744d66e416d8d5766 /plugins/interface | |
| parent | 722d0c21cb2f8da64b1c54f854c8dc401edd25e6 (diff) | |
fix previous commit
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12424 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/interface')
0 files changed, 0 insertions, 0 deletions