- Timestamp:
- 05/17/07 23:45:56 (18 months ago)
- Files:
-
- 1 modified
-
util/gen_prelude.pl (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
util/gen_prelude.pl
r13363 r16385 119 119 next; 120 120 } 121 last if /^=begin\s+END\s*$/; 121 122 print $ofh $_; 122 123 }
