search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Ignore ibc files for Idris #62

Closed hoelzro closed 7 years ago

hoelzro commented 7 years ago

I've accidentally opened .ibc files using :new and :vnew too many times - this change prevents wildmenu from displaying them.

melted commented 7 years ago

Thanks!