diff options
| author | desmettr | 2002-07-31 09:47:17 +0000 |
|---|---|---|
| committer | desmettr | 2002-07-31 09:47:17 +0000 |
| commit | dcb8ef9e3093b868c67ea7f541b4f5d018f2b8d1 (patch) | |
| tree | 48bb070a9a1758e62f029fe8a78dd3d7a8577939 /dev/include | |
| parent | c6f4207c59f8e056cbd58f6e67ada6a70eaac8ad (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2944 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions