author | Matthias Luescher <ch1010472@ch10lt140> |
Thu, 17 Dec 2009 17:21:03 +0100 | |
changeset 1603 | 8e528f806dc5 |
parent 1203 | acb649738601 |
child 1804 | 742607c464c4 |
permissions | -rw-r--r-- |
/* $Id$ */ digraph pdo_entry_read { start [fontname="Helvetica"] start -> count [weight=5] count [fontname="Helvetica"] count -> action_next [weight=5] action_next [shape=point,label=""] action_next -> pdo_entry [fontname="Helvetica", label="Next entry", weight=5] action_next -> end [fontname="Helvetica", label="No more entries"] pdo_entry [fontname="Helvetica"] pdo_entry -> action_next end [fontname="Helvetica"] }