diff options
| author | letouzey | 2006-03-16 12:06:24 +0000 |
|---|---|---|
| committer | letouzey | 2006-03-16 12:06:24 +0000 |
| commit | d9cf24f697a6318f5794f6783d814f652738db74 (patch) | |
| tree | fd469c91fe3d24f39e69690178d8d0b50f84fcc9 /dev/header | |
| parent | 578cbf93d9f998f610d8a3aee4b035ec1588a8e1 (diff) | |
utilisation de removeA dans FSetProperties
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8636 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/header')
0 files changed, 0 insertions, 0 deletions