David Lechner 512c1fa4b1 doc: fix duplicate thumbs up/down ...

Thumbs down was listed twice and in one case it had the wrong image.

2020-04-14 15:06:57 -05:00

..

api

doc: fix duplicate thumbs up/down

2020-04-14 15:06:57 -05: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