Package: git Version: 1:2.9.3-1 $ git init Initialized empty Git repository in /home/ian/junk/d/d/.git/ $ cat >u diff --git a/moo b/moo --- /dev/null +++ b/moo @@ -0,0 +1 @@ +moo ^D $ git apply u error: dev/null: No such file or directory $ patch -p1 <u patching file moo $ cat moo moo $
-- Ian Jackson <ijack...@chiark.greenend.org.uk> These opinions are my own. If I emailed you from an address @fyvzl.net or @evade.org.uk, that is a private address which bypasses my fierce spamfilter.