Merge pull request #22 from hvr/pr-detab
authorEdward Kmett <ekmett@gmail.com>
Fri, 31 Jul 2015 15:22:37 +0000 (11:22 -0400)
committerEdward Kmett <ekmett@gmail.com>
Fri, 31 Jul 2015 15:22:37 +0000 (11:22 -0400)
detab


Trivial merge