diff configure @ 52018:76a99003b377

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