|
| From: | Alexandre Duret-Lutz |
| Subject: | Re: getting rid of DEP_FILES |
| Date: | Thu, 01 Jan 2004 23:00:53 +0100 |
| User-agent: | Gnus/5.1003 (Gnus v5.10.3) Emacs/21.3.50 (gnu/linux) |
>>> "Tom" == Tom Tromey <address@hidden> writes: [...] Tom> BTW, what do you think of the appended? This fixes a bug Tom> that Tom Fitzsimmons noticed in the no-dist option. Looks good to me. [...] -- Alexandre Duret-Lutz
| [Prev in Thread] | Current Thread | [Next in Thread] |