author | Florian Pose |
Tue, 30 Jan 2018 17:08:21 +0100 | |
branch | stable-1.5 |
changeset 2695 | ad58465e75ca |
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 }