chiark / gitweb /
Merge pull request #1087 from presslab-us/combingnoskin
authordaid <daid303@gmail.com>
Thu, 15 Jan 2015 06:22:23 +0000 (07:22 +0100)
committerdaid <daid303@gmail.com>
Thu, 15 Jan 2015 06:22:23 +0000 (07:22 +0100)
Add configuration option for combing 'No Skin'


Trivial merge