Changeset 4295
- Timestamp:
- 05/31/08 04:20:21 (3 months ago)
- Files:
-
- 1 modified
-
trunk/configs/ji.config (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/ji.config
r4289 r4295 200 200 201 201 '$lgt_default_flag'(encoding_directive, unsupported). 202 '$lgt_default_flag'(multifile_directive, unsupported).202 '$lgt_default_flag'(multifile_directive, supported). 203 203 '$lgt_default_flag'(threads, unsupported). 204 204
