[Agda] Where did "agda2 include dirs" go?

[Jesper Cockx]

Hi all,

While working with Agda in Emacs, I usually switch include directories by
editing "Agda2 include dirs" in the Agda2 group, but after installing the
latest development agda I cannot find this entry any more. Did anything
change to how include directories are specified? I cannot find anything
about this in the changelog.

cheers,
Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20151005/29fa098d/attachment.html