diff man/ediff.texi @ 57241:e53d659f0afd

Check if file exists before deleting it.
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Mon, 27 Sep 2004 04:26:15 +0000
parents b1ae5333057a
children 905bf9de87af 59dcbfe97385
line wrap: on
line diff