On Sun, Nov 18, 2007 at 09:45:11 +0100, Mike Hommey wrote:
- That would still screw-up make hard. You know, checking out does NOT
delete any untracked files.
- There is no such thing as last modification time in git. Because there is
no file history in git. (Besides, what would be last modification time of
a file that was last modified in two parents, for example?)
--=20
Jan 'Bulb' Hudec <bulb@ucw.cz>