• 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.