diff options
| author | barras | 2009-03-20 19:14:37 +0000 |
|---|---|---|
| committer | barras | 2009-03-20 19:14:37 +0000 |
| commit | eb04887fe4d48deabc029e067a8d0e4515879e8a (patch) | |
| tree | 4af265b60c05edb596667704a93e7317eec6a82d /scripts | |
| parent | 93e1bfa7327acadc6177aa8c3d5ad9e4af412efa (diff) | |
delete contrib dirs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11999 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions