diff lib-src/make-docfile.c @ 99728:420fb0268ff1

(project-settings-file): Remove. (project-find-settings-file): Undo previous change that added the use of project-settings-file.
author Dan Nicolaescu <dann@ics.uci.edu>
date Wed, 19 Nov 2008 13:25:43 +0000
parents d45acf0c8d23
children 6ab80abea3ee
line wrap: on
line diff