diff configure @ 52016:95dd8ee86d65

(run_pre_post_conversion_on_str): Use delete_all_overlays.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 22 Jul 2003 19:06:12 +0000
parents a9d461b0fc6f
children d3f844766f69
line wrap: on
line diff