patch: guard against unexpected patch-id output
commit77229cf438cc6e34c6bedb97776776796bbe9835
authorThomas Rast <trast@student.ethz.ch>
Wed, 11 Feb 2009 20:48:12 +0000 (11 21:48 +0100)
committerThomas Rast <trast@student.ethz.ch>
Wed, 11 Feb 2009 20:56:03 +0000 (11 21:56 +0100)
treec4537e5ac3fd2ee98403d1f44443c5d7ee5682ae
parentf828fb1bab57aa0dfa4203f764e38fd10ce0df9f
patch: guard against unexpected patch-id output
patch.py