Merge pull request #3813 from annando/remove-old-stuff
authorHypolite Petovan <mrpetovan@gmail.com>
Mon, 23 Oct 2017 14:00:16 +0000 (10:00 -0400)
committerGitHub <noreply@github.com>
Mon, 23 Oct 2017 14:00:16 +0000 (10:00 -0400)
commit476d7d9533c095a473b91802700493b82e41da75
tree569768fdfb1f606999e3eb1346291eb52fe0542a
parentd39b0584f0bebe3f5e8b9f84593985074d69e04d
parent69afe503453ab19d6d5137301f9ed9c5f210ca46
Merge pull request #3813 from annando/remove-old-stuff

Removed stuff that was never used or isn't used anymore