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)
commit44cfeec91e733453cdd0ebf7d8a8d4d11535d81e
treeaf3db958e962a3686d5d6566ae2c77dbcd6000a6
parentd88796ea55a53bafe6b1bbbd95a3555f4e122952
parent21520b265493a3eb64fd7769083c63a0a0f5d075
Merge pull request #22 from hvr/pr-detab

detab