diff ChangeLog @ 72114:fe7f8d2385f8

(find_string_data_in_pure): New function. (make_pure_string): Use it to reuse existing string data if possible.
author YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
date Tue, 25 Jul 2006 10:10:19 +0000
parents 5400fa001771
children b6050f44ed8c 02e39decdc84 8a8e69664178
line wrap: on
line diff