diff options
| author | barras | 2008-05-29 15:28:50 +0000 |
|---|---|---|
| committer | barras | 2008-05-29 15:28:50 +0000 |
| commit | 24a30fc1a0ec4128a7123e56628e59ae70ec4ba8 (patch) | |
| tree | 2364f431ec1622882424bcf290fed72b1f54e015 /kernel | |
| parent | 7e848bfec1b7359492a5d5695d67603e0cbe6e58 (diff) | |
commented out overwrite confirmation handler (requires lablgtk >=2.10)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11019 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions