Merge pull request #50 from zerothi/unused
authorlangou <julien.langou@ucdenver.edu>
Thu, 15 Sep 2016 20:05:38 +0000 (22:05 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Sep 2016 20:05:38 +0000 (22:05 +0200)
maint: removed unused variables


Trivial merge