On Tue, 2023-12-12 at 11:29 +0100, John Hendrikx wrote: > Hi, > > Depending on what you want to do, if you're not using modules, you > can > just place a changed source file with your own sources (in their > original package) and it should override it. >
Hehe, thanks! I had forgotten that that was even an option. I would normally be using modules, but for the sake of testing purposes, I'll be doing this instead. -- Mark Raynsford | https://www.io7m.com
