diff options
| author | David Waern <davve@dtek.chalmers.se> | 2007-10-31 22:11:17 +0000 |
|---|---|---|
| committer | David Waern <davve@dtek.chalmers.se> | 2007-10-31 22:11:17 +0000 |
| commit | caccc1fa4fd15dee1732aa1672c895088c1018ab (patch) | |
| tree | 23c2478300b9f3c70a2b6f230d0045ebe4c16c0c /src/Haddock/Interface | |
| parent | 23ff0a0702ecc318a33a083f8617a542c5cfe2f4 (diff) | |
Add optimisation flags
Diffstat (limited to 'src/Haddock/Interface')
0 files changed, 0 insertions, 0 deletions