[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: files.el: Patch to make project-settings optional/customizable
From: |
Juanma Barranquero |
Subject: |
Re: files.el: Patch to make project-settings optional/customizable |
Date: |
Sat, 22 Nov 2008 23:03:23 +0100 |
On Sat, Nov 22, 2008 at 21:20, Dan Nicolaescu <address@hidden> wrote:
> Sorry, but this feels like trying to sneak in something that has been
> explicitly rejected...
Not by Richard, who asked for the defconst.
Juanma
- Re: files.el: Patch to make project-settings optional/customizable, (continued)
- Re: files.el: Patch to make project-settings optional/customizable, Stefan Monnier, 2008/11/18
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Tom Tromey, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Stefan Monnier, 2008/11/19
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable,
Juanma Barranquero <=
- Re: files.el: Patch to make project-settings optional/customizable, Miles Bader, 2008/11/22
- Re: files.el: Patch to make project-settings optional/customizable, Stefan Monnier, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Stefan Monnier, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Juri Linkov, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Dan Nicolaescu, 2008/11/23
- Re: files.el: Patch to make project-settings optional/customizable, Juanma Barranquero, 2008/11/23