libmir.so missing from .gitignore

timotheecour opened this issue 8 years ago · 1 comments

timotheecour commented 8 years ago

libmir.so missing from .gitignore

9il commented 8 years ago