Laurens Valk 3a2980d3b9 doc/media: remove emphasis on font config ...

Bright colored boxes are reserved for things that deserve extra emphasis
like warnings. They should not be used for extras like tips and
footnotes, especially if aimed at a very small percentage of users.

2020-04-24 12:07:18 +02:00

..

api

doc/media: remove emphasis on font config

2020-04-24 12:07:18 +02:00

common

config: do not hyperlink scaled images

2020-04-07 15:34:15 +02:00

make.bat

config: update windows make.bat to match Makefile

2020-03-18 17:30:42 -05:00

Makefile

config: separate make target for diagrams

2020-03-04 11:49:21 +01:00