Michael Brand <michael.ch.br...@gmail.com> writes: > Yes. This is useful in general for me, thank you for the hint. I > propose the attached patch for the already existing .dir-locals.el and > .dir-settings.el.
Applied, thanks to you and Ivan. -- Bastien
