diff options
| author | jnarboux | 2008-05-29 15:39:24 +0000 |
|---|---|---|
| committer | jnarboux | 2008-05-29 15:39:24 +0000 |
| commit | 24339a677942f89a92af244fa2eb83c0132f53d1 (patch) | |
| tree | 92a7315d86e475a51fa9eecf14ea632263e29d0a /lib | |
| parent | 24a30fc1a0ec4128a7123e56628e59ae70ec4ba8 (diff) | |
backtrack sur utilisation de do_overwrite_confirmation
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11020 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions