libmir.so missing from .gitignore

timotheecour opened this issue 9 years ago · 1 comments

timotheecour commented 9 years ago

libmir.so missing from .gitignore

9il commented 9 years ago