diff make-dist @ 99531:bdd322f177a6

(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:17:48 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff