diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-30 17:08:09 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-30 17:08:09 +0000 |
commit | 1a09d9d0635ebd5f5be5f4165438db9122278fd2 (patch) | |
tree | be0b1906ce5d387e338c53abcc9f397b33b364e5 /theories/PArith | |
parent | 4d58a4f25a796d1c5d39f2be8648696cdfd46dba (diff) |
Adds Reference-Manual.out to .gitignore
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15401 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/PArith')
0 files changed, 0 insertions, 0 deletions