Changeset 4290 for trunk/configs/ciao_aux.config
- Timestamp:
- 05/30/08 12:13:14 (7 months ago)
- Files:
-
- 1 modified
-
trunk/configs/ciao_aux.config (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/ciao_aux.config
r4289 r4290 265 265 266 266 '$lgt_default_flag'(encoding_directive, unsupported). 267 '$lgt_default_flag'(multifile_directive, unsupported).267 '$lgt_default_flag'(multifile_directive, supported). 268 268 '$lgt_default_flag'(threads, unsupported). 269 269
