Generate .patchnum from .patch or .git
authorH.M. Brand <merijn@a5.(none)>
Tue, 23 Dec 2008 12:48:33 +0000 (13:48 +0100)
committerDavid Mitchell <davem@iabyn.com>
Thu, 26 Feb 2009 01:55:03 +0000 (01:55 +0000)
commitf5457a8c2311c3df00ff2320c6551320c6d3a5ce
treed197d5958569dea11c7e5b9f424a592e08decffb
parent22c2721efb14ccccec2cc0562807e99ea7d2f881
Generate .patchnum from .patch or .git

(cherry picked from commit 531a2f446e4c4ff48354dfe55b2d17a7719ab97c)
MANIFEST
make_patchnum.sh