diff man/search.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 a139f4d21416
children 384212f1e3a5 3219f94257bc
line wrap: on
line diff