author | Edouard Tisserant <edouard.tisserant@gmail.com> |
Mon, 01 Oct 2018 19:54:54 +0200 | |
branch | stable-1.5 |
changeset 2717 | b5e3de0467a5 |
parent 2513 | e60c68f33e4f |
permissions | -rw-r--r-- |
/* $Id$ */ digraph pdo_entry_read { node [fontname="Helvetica"] edge [fontname="Helvetica", fontsize="12"] start start -> count [weight=5] count count -> action_next [weight=5] action_next [shape=point,label=""] action_next -> pdo_entry [label="Next entry", weight=5] action_next -> end [label="No more entries"] pdo_entry pdo_entry -> action_next end }