diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-05-30 12:26:57 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-05-30 12:26:57 +0000 |
| commit | f77e0ade09d8fd17add98c3bc4317627078f3aa8 (patch) | |
| tree | ad0991062e1da83d47a1e31eaf52ca96fb42d788 /extraction | |
| parent | 1233298563ffb1d2b72a7caecd0c6c4e275100eb (diff) | |
Suppression de 'exten', inutilise
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@646 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions