author | Florian Pose <fp@gh.de> |
Tue, 03 May 2016 14:18:29 +0200 | |
changeset 2644 | 0c3987a1b3ee |
parent 2589 | 2b9c78543663 |
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 }