[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add a separate mode for .dir-locals.el
From: |
Eli Zaretskii |
Subject: |
Re: Add a separate mode for .dir-locals.el |
Date: |
Mon, 21 Oct 2019 14:32:13 +0300 |
> From: João Távora <address@hidden>
> Date: Mon, 21 Oct 2019 12:22:38 +0100
> Cc: Dmitry Gutov <address@hidden>, Clément Pit-Claudel <address@hidden>,
> Stefan Monnier <address@hidden>, emacs-devel <address@hidden>
>
> > > This was also already said several times.
> > > By you, exclusively, right? Or by someone else I missed?
> > Also by Andreas and by Richard.
> Not true of Richard: he said "All code is data, but only some
> data is code". That is exactly the distinction I am making.
No, it isn't.
Anyway, let's agree to disagree on this, okay? This is a minor issue,
and we've already invested too much energy in discussing it. I don't
see how continuing this will help anything.
Thanks.
- Re: Add a separate mode for .dir-locals.el, (continued)
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/20
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/20
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el,
Eli Zaretskii <=
- Re: Add a separate mode for .dir-locals.el, João Távora, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Dmitry Gutov, 2019/10/21
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/17
- Re: Add a separate mode for .dir-locals.el, Michael Albinus, 2019/10/18
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/18
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/18
- Re: Add a separate mode for .dir-locals.el, Eli Zaretskii, 2019/10/19
- Re: Add a separate mode for .dir-locals.el, Stefan Monnier, 2019/10/19