On 2025-05-14, TimH <t...@dirtymonday.net> wrote:
> On Tue, 13 May 2025 23:51:10 -0700
> But how can that be when I deleted the entire /usr/src dir and did a
> fresh cvs checkout?  Is this stored higher up than that?

/usr/obj

Reply via email to