diff options
| author | letouzey | 2007-07-19 14:27:37 +0000 |
|---|---|---|
| committer | letouzey | 2007-07-19 14:27:37 +0000 |
| commit | 2ed47dbe8d6448744bc14d61c26d891fb4e48edd (patch) | |
| tree | ebf49c8d59894874b582f0b435df58b87288e628 | |
| parent | 8e9c794b42f00ff4dbcd0e1961a95335e5b88c85 (diff) | |
some more svn:ignore properties
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10029 85f007b7-540e-0410-9357-904b9bb8a0f7
0 files changed, 0 insertions, 0 deletions