diff doc/Makefile @ 392:d7948d2c1cc6

common widgets: use a different colour + bigger font size + bold for CategorySeparator
author Goffi <goffi@goffi.org>
date Thu, 06 Feb 2020 21:16:21 +0100 (2020-02-06)
parents aafd814e34b5
children
line wrap: on
line diff