diff options
| author | letouzey | 2011-04-21 22:44:20 +0000 |
|---|---|---|
| committer | letouzey | 2011-04-21 22:44:20 +0000 |
| commit | 85f178287ad6192c478b5e8ee2fbd28e613fbb9a (patch) | |
| tree | b08889ae5f733bce48199deb738a88e7d09b1762 /dev | |
| parent | 1b04c124152c47a664f2bee961e27293b1e2b2df (diff) | |
Coqide: remove some dead code
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14050 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions