Re: PATCH: document ignored directories in "getdirs"
Ben Elliston <[email protected]>
| Newsgroups | gmane.comp.sysutils.dejagnu.general |
|---|---|
| Message-ID | <20181211024759.GA6271@bapbop> |
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 _______________________________________________ DejaGnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/dejagnu
signature.asc
(application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEFS8+rdM1/2KWERKFZ9rcPj90NkkFAlwPJV4ACgkQZ9rcPj90 NkkeOg//YInZkaqmk16SI2PGDKWlqLYsqpeJQcaN0iQTFodg2qFeoNAX+JdAu2eO ANY3RwbTy/jzWEWB/Pij4lDobPFcaS8HMyQsBYn1USOM2fp2r2dn7oG94v9jX+a+ hPPk4IftLW6OdmcqfJD/X25HxsbDS4x80FceR1QdV8A5qoL+ub1V2RWzB24Xutf4 bUp2+CEv0LTAa0zgWMr+WewfEAQjhQ+179H+e480H2qYPyvm5TBkKhzqnD4CG+x6 nkTS3Q2zeaeeKyVFlJbj8GYZXjRQ945duFtSrviIXkSkJBX3DEOhWWQHO8cvx7AE RgXsrkaOBIjNkO/spMLuCfrsc7w5qki/j+oSGUkqRWAn93Vd4adDuU5rIvQiYdsB EPt2wWZnGEzGdGfUC+C2peyDL48jdVYr6s3zZWnuCRzegfy4D2e+Y+1f9Vg4W+Y3 unDqGWcmoP9sbSNASEz5hhhpA0B21H19mJtMTBqEqzYqJkWf2apK7ZvKHNStROLO W5z9M21+rbrTRBg9puRExPpZS9eyNQtdg9VniWqW0Wj5zpRnIV5Vd2zww0z/K7nM PG4dPe5zvNAMCJwBSJ95O8zcQe5A4AgChfiMBh5tEWAM5dG02ZMQ+/fBxJv9T/sn D0qXT2PZ/ZT1kbgOkDmZYhQDgsmuKXQd5/ApDGI0xnWXgi3P/zM= =NdRo -----END PGP SIGNATURE-----