/docs/figures/
drwxr-xr-x [up]
-rw-r--r-- 2018-09-23 22:45 +0200 15571 figure-ug01.svg
-rw-r--r-- 2018-09-23 22:45 +0200 24212 figure-ug02.svg
-rw-r--r-- 2018-09-23 22:45 +0200 16550 figure-ug03.svg
-rw-r--r-- 2018-09-23 22:45 +0200 22381 figure-ug04.svg
-rw-r--r-- 2018-09-23 22:45 +0200 30072 figure-ug05.svg
-rw-r--r-- 2018-09-23 22:45 +0200 35613 figure-ug06.svg
-rw-r--r-- 2018-09-23 22:45 +0200 27043 figure-ug07.svg
-rw-r--r-- 2018-09-23 22:45 +0200 18859 figure-ug08.svg
-rw-r--r-- 2018-09-23 22:45 +0200 13856 figure-ug09.svg
-rw-r--r-- 2018-09-23 22:45 +0200 40811 figure-ug10.svg
-rw-r--r-- 2018-09-23 22:45 +0200 28569 figure-ug11.svg
-rw-r--r-- 2018-09-23 22:45 +0200 25615 figure-ug12.svg
-rw-r--r-- 2018-09-23 22:45 +0200 217868 hgview-example.png