Am 09.12.24 um 19:08 schrieb Christoph Sommer via GitGitGadget: > From: Christoph Sommer <sommer@xxxxxxxxxxxx> > > Make preference groups like "Diff display options" stand out more. This is a nice and obvious improvement. -- Hannes
Am 09.12.24 um 19:08 schrieb Christoph Sommer via GitGitGadget: > From: Christoph Sommer <sommer@xxxxxxxxxxxx> > > Make preference groups like "Diff display options" stand out more. This is a nice and obvious improvement. -- Hannes