diff options
| author | herbelin | 2004-07-24 11:30:18 +0000 |
|---|---|---|
| committer | herbelin | 2004-07-24 11:30:18 +0000 |
| commit | 275a154a68ebc516e782edbb4006c935ff4aa8a0 (patch) | |
| tree | 434d3231670c8fb359b24e001ee57ca6fc97e04a /lib | |
| parent | 6539b8f47830a8a723faf50dec079f36707d5801 (diff) | |
Plus de pa_ifdef dans CAMLP4EXTENDFLAGS
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5975 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions