bug-gnulib
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 39.

From: Collin Funk
Subject: Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 39.
Date: Sun, 3 Mar 2024 05:05:30 -0800
User-agent: Mozilla Thunderbird 
On 3/3/24 4:30 AM, Pádraig Brady wrote:
> Right, join without options is essentially set intersection.
> See https://www.pixelbeat.org/cmdline.html#sets

Thanks for the examples. Bookmarked it since it will probably come
handy as I work on gnulib-tool. :)

Collin
reply via email to
[Prev in Thread] Current Thread [Next in Thread]