diff options
| author | monate | 2003-03-12 10:09:47 +0000 |
|---|---|---|
| committer | monate | 2003-03-12 10:09:47 +0000 |
| commit | 62d08f32993d7b3cfb1ce484ac6ac223dbedc6d9 (patch) | |
| tree | 73ac56ce389f55dc17c232d1d3d627ecf6414049 /kernel | |
| parent | 61cf317c96a2ca5c1ee9badaa783b335314dd1a9 (diff) | |
coqide: .coqidepref en bin. Preferences en plus
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3756 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions