Remove unused member to fix warning. - Githubissues

ethz-asl / ethzasl_brisk

Brisk. The feature.

20 stars 11 forks source link

Remove unused member to fix warning. #94

Closed schneith closed 9 years ago

hitimo commented 9 years ago

lgtm

mfehr commented 9 years ago

lgtm, @schneith thx for fixing this