globalmaphack: be more general (fmap, factoring, ...)
authorBernhard Urban <lewurm@gmail.com>
Fri, 24 Aug 2012 18:18:21 +0000 (20:18 +0200)
committerBernhard Urban <lewurm@gmail.com>
Fri, 24 Aug 2012 18:18:21 +0000 (20:18 +0200)

No differences found