Michael Brand <[email protected]> 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
Michael Brand <[email protected]> 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