author | Florian Pose <fp@gh.de> |
Tue, 03 May 2016 14:13:11 +0200 | |
changeset 2642 | 9dc0b2262f90 |
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 }