diff options
| author | letouzey | 2009-07-30 13:31:14 +0000 |
|---|---|---|
| committer | letouzey | 2009-07-30 13:31:14 +0000 |
| commit | 4d9cfa5472d05b17ddbd93b60c8c7deb0c796190 (patch) | |
| tree | 03280ebf3023ea1ca3957a528ce5912a9a0cd472 /scripts | |
| parent | d0074fd5a21d9c0994694c43773564a4f554d6e1 (diff) | |
For git users, a global .gitignore file
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12251 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions