Re: files.el: Patch to make project-settings optional/customizable

[Dan Nicolaescu]

Chong Yidong <address@hidden> writes:

  > "T.V. Raman" <address@hidden> writes:
  > 
  > > Introduces a defcustom for project-settings-file -- rather than
  > > hard-coding the name, and if set to nil, arranges for function
  > > project-find-settings-file to do nothing.
  > 
  > Looks reasonable.  I've checked it in, thanks.

Shouldn't the variable be called dir-settings-file ?
The default name is .dir.settings.el and this is documented in a
"Directory Variables" section in the manual after all...