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)
commit9e6bfe88acd54561d987c973671dea74c804d0ab
treeda68eaba9aa788699b73172542d1f8a9b07ffa34
parent3a4585b67e8cba600cca746a9ba1562518b97ba4
parent8af8bb6802755abecd4e22356895b312db3b71df
Merge pull request #50 from zerothi/unused

maint: removed unused variables