diff options
| author | letouzey | 2011-05-18 14:49:46 +0000 |
|---|---|---|
| committer | letouzey | 2011-05-18 14:49:46 +0000 |
| commit | 26d91f7947d45d0c125cebee58ac8dd0a6bb6ac3 (patch) | |
| tree | 395f8aea94ab0e6a3f48222da11eaa9ee52b2ea7 /lib | |
| parent | d85e6bd09c32291e20962e29d739f2ffbe23c98f (diff) | |
Extraction: avoid printing of Recursive Extraction in coqide's console
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14138 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions