Man pages for dwinter/MoreUtils
What the package does (short line)

more_utilsmore_utils.
dwinter/MoreUtils documentation built on May 13, 2017, 10:51 a.m.