aboutsummaryrefslogtreecommitdiff
path: root/src/graphviz
AgeCommit message (Collapse)AuthorFilesLines
2018-05-03Add graphviz sources of figures from the "RVWMO Explanatory Material" ↵Luc Maranget10-0/+321
appendix. (#167) Those sources (.dot) are to be processed by neato.