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