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
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