[project @ 2001-09-06 14:26:14 by apt]
authorapt <unknown>
Thu, 6 Sep 2001 14:26:14 +0000 (14:26 +0000)
committerapt <unknown>
Thu, 6 Sep 2001 14:26:14 +0000 (14:26 +0000)
commit96f1ceed013b4a02d516f447d31ac319a653b30c
tree887ce35b8d380a088a620d9181551ce431236aa2
parentd813d1652cafa0f840b4b38a2a4c0b0502c781e4
[project @ 2001-09-06 14:26:14 by apt]
change ext-core output file suffix from .core (too easy to delete accidentally) to .hcr (MERGE TO STABLE)
ghc/compiler/main/DriverPipeline.hs
ghc/utils/ext-core/Driver.hs