OT: git question -- fetch a deleted file?

[Michel Dänzer]

On Thu, 2006-10-05 at 10:57 -0500, Jeremy C. Reed wrote:
> I manually deleted some files in a sub directory in my xserver checkout.
> 
> I tried to do a "git pull" and a "git fetch" but the files never returned.
> 
> I am used to being able to do a "cvs up -dPA" and being able to retrieve 
> files I removed.
> 
> Any suggestions on how to do this with git?
> 
> I looked at the git-pull and git-fetch manual pages.

The whole repository is local, no need to fetch anything remote for
this...

git-checkout <files>


-- 
Earthling Michel Dänzer           |          http://tungstengraphics.com
Libre software enthusiast         |          Debian, X and DRI developer