:: Re: [DNG] /usr to merge or not to m…
Top Page
Delete this message
Reply to this message
Author: Hendrik Boom
Date:  
To: dng
Subject: Re: [DNG] /usr to merge or not to merge... that is the question??
On Tue, Nov 20, 2018 at 02:32:28AM -0800, Rick Moen wrote:
> Quoting Didier Kryn (kryn@???):
>
> > And what kernel source do you use, kernel.org or Debian?
>
> I'm unclear on what possible use you would have for that information.


It might help those wanting to try it themselves.

-- hendrik