Merge pull request #1 from haarg/master
Karen Etheridge [Thu, 21 Aug 2014 16:36:22 +0000 (09:36 -0700)]
remove extraneous bits that have been merged into Distar


Trivial merge