author | Philipp Weyer <pw@igh-essen.com> |
Fri, 18 Aug 2017 12:30:16 +0200 | |
changeset 2679 | 33b922ec1871 |
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 }