bug-gnulib
[Top][All Lists]
Advanced

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

Re: gnulib-tool: Add undocumented option --gnulib-dir


From: Collin Funk
Subject: Re: gnulib-tool: Add undocumented option --gnulib-dir
Date: Sun, 17 Mar 2024 10:35:43 -0700
User-agent: Gnus/5.13 (Gnus v5.13)

Bruno Haible <bruno@clisp.org> writes:
> No, what I mean is just to take a snapshot. For the reasons explained in
> https://lists.gnu.org/archive/html/bug-gnulib/2024-03/msg00109.html .

Ah, I see. I misunderstood the "frozen-in-time set of gnulib modules",
but that message explains it. Thanks.

Collin



reply via email to

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