add missing images, fixes #5516
authorChristian Grothoff <christian@grothoff.org>
Fri, 21 Jun 2019 20:17:38 +0000 (22:17 +0200)
committerChristian Grothoff <christian@grothoff.org>
Fri, 21 Jun 2019 20:17:38 +0000 (22:17 +0200)
commit56436c888427d7963e9ce3304cc33bc17fb89573
tree902c48ac6606eeba8b2c01fe5dab554a00a7220e
parent32eec25228bec91318c577d18fe2ce3ff4d45598
add missing images, fixes #5516
doc/handbook/chapters/developer.texi
doc/handbook/chapters/user.texi