dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: PATCH: document ignored directories in "getdirs"


From: Ben Elliston
Subject: Re: PATCH: document ignored directories in "getdirs"
Date: Tue, 11 Dec 2018 13:48:00 +1100
User-agent: Mutt/1.9.4 (2018-02-28)

On Mon, Dec 10, 2018 at 08:33:25PM -0600, Jacob Bachmeyer wrote:

> This patch adds a small note to the manual listing the names of
> directories that "getdirs" ignores.

Applied, thanks!

Ben

Attachment: signature.asc
Description: PGP signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]