docmatcher: Handle deprecated genkernel parameters
authorSebastian Pipping <sebastian@pipping.org>
Thu, 20 Jan 2011 17:24:59 +0000 (18:24 +0100)
committerSebastian Pipping <sebastian@pipping.org>
Thu, 20 Jan 2011 17:24:59 +0000 (18:24 +0100)
commitbcfc01eeb38f1bb72c160341a619fae67d225b7d
tree2c80a525012be97ccd030c850cca382fc7f14a29
parent69cc4a89275366708d0a0dd0b3cc26954f5fb547
docmatcher: Handle deprecated genkernel parameters
maintenance/docmatcher.py