Don't fail when there's no pkgs option

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

269 stars 71 forks source link

Closed david-christiansen closed 9 years ago

david-christiansen commented 9 years ago

This makes idris-mode not complain on packages that don't use the pkgs option.