diff src/.gdbinit @ 99532:a84ee30498a7

* files.el (project-settings-file): New variable. (project-find-settings-file): Use it, instead of hardcoding .dir.settings.el.
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 13 Nov 2008 15:18:38 +0000
parents e9980210e4ed
children b99ba7437dec
line wrap: on
line diff