Double check if files still exist before git-add#355
Open
goerz wants to merge 1 commit intodrdoctr:masterfrom
Open
Double check if files still exist before git-add#355goerz wants to merge 1 commit intodrdoctr:masterfrom
goerz wants to merge 1 commit intodrdoctr:masterfrom
