• Show log

    Commit

  • Hash : e74340b0
    Author : Edward Thomson
    Date : 2015-01-14T18:47:00

    checkout: remove files before writing new ones
    
    On case insensitive filesystems, we may have files in the working
    directory that case fold to a name we want to write.  Remove those
    files (by default) so that we will not end up with a filename that
    has the unexpected case.