[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: local variable for updating the time stamp on save
From: |
Bruce Korb |
Subject: |
Re: local variable for updating the time stamp on save |
Date: |
Mon, 21 Jan 2008 06:15:06 -0800 |
Hi,
On Jan 20, 2008 11:18 PM, Dan Nicolaescu <dann@ics.uci.edu> wrote:
[....]
> > minor-mode
> > mode
>
> Not sure why you got those
I got them because I sedded 'em out of all files containing the string
'Local Variables:'
It wasn't that "mode" and "minor-mode" were added to the "they're okay
now" list,
but that they got extracted with the grep/sed/awk/sort script. :)
- Re: local variable for updating the time stamp on save, (continued)
- Re: local variable for updating the time stamp on save, Bruce Korb, 2008/01/15
- Re: local variable for updating the time stamp on save, Richard Stallman, 2008/01/16
- Re: local variable for updating the time stamp on save, Bruce Korb, 2008/01/17
- Re: local variable for updating the time stamp on save, Dan Nicolaescu, 2008/01/17
- Re: local variable for updating the time stamp on save, Reiner Steib, 2008/01/17
- Re: local variable for updating the time stamp on save, Richard Stallman, 2008/01/18
- Re: local variable for updating the time stamp on save, Bruce Korb, 2008/01/19
- Re: local variable for updating the time stamp on save, Dan Nicolaescu, 2008/01/19
- Re: local variable for updating the time stamp on save, Bruce Korb, 2008/01/20
- Re: local variable for updating the time stamp on save, Dan Nicolaescu, 2008/01/21
- Re: local variable for updating the time stamp on save,
Bruce Korb <=
- Re: local variable for updating the time stamp on save, Richard Stallman, 2008/01/21
- Re: local variable for updating the time stamp on save, Johan Bockgård, 2008/01/21
- Re: local variable for updating the time stamp on save, Richard Stallman, 2008/01/21
- Re: local variable for updating the time stamp on save, Bruce Korb, 2008/01/21
- Re: local variable for updating the time stamp on save, Richard Stallman, 2008/01/22
- Re: local variable for updating the time stamp on save, Richard Stallman, 2008/01/21