if you u used

git rm filename 

to delete a file then

git checkout path/to/filename 

doesn't work, so in that case

git checkout HEAD^ filename 

should work

if you used

git rm filename 

to delete a file then

git checkout path/to/filename 

doesn't work, so in that case

git checkout HEAD^ path/to/filename 

should work