- Timestamp:
- 10/06/05 18:12:20 (3 years ago)
- Files:
-
- 1 modified
-
inc/PugsBuild/Config.pm (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
inc/PugsBuild/Config.pm
r7331 r7340 14 14 optimization => '-O', 15 15 smoke_concurrent => 1, 16 smoke_upload => '', 16 17 inline_prelude_source => 0, 17 18 precompile_prelude => 1,
