tree 653087b8185b4418b44f2417ffe7871d5445b963
parent 9af7aba579184fb86f971302316f09210bf1de9d
author Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> 1212413327 -0000
committer Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> 1212413327 -0000

- optional fancy pruning-mode for depmod