diff man/files.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 1252abee4a21
children 634541ce83f0 d8411455de48
line wrap: on
line diff