[darcs-devel] darcs patch: don't include creation of root
directory in Git history.
Juliusz Chroboczek
Juliusz.Chroboczek at pps.jussieu.fr
Mon Jul 18 12:39:21 PDT 2005
> - (Nothing, Just _) -> (adddir name) : patches
> - (Just _, Nothing) -> patches ++ [rmdir name]
> + (Nothing, Just _) | name /= "." -> (adddir name) : patches
> + | otherwise -> patches
> + (Just _, Nothing) | name /= "." -> patches ++ [rmdir name]
> + | otherwise -> patches
David,
I really don't see how this can do anything that wasn't fixed by the
patch I mentioned in my previous mail. Can you confirm it's still
needed with Ian's latest tree?
Juliusz
More information about the darcs-devel
mailing list