mirror of
https://code.briarproject.org/briar/briar.git
synced 2026-06-11 16:45:35 +02:00
4173fc4daa
Don't use a custom widget to separate preference categories Closes #1045 See merge request !609