diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/PGFService.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs index 5889c07b8..08090f309 100644 --- a/src/server/PGFService.hs +++ b/src/server/PGFService.hs @@ -448,6 +448,7 @@ pgfMain command (t,pgf) = PGF.GraphvizOptions # bool "noleaves" % bool "nofun" % bool "nocat" + % bool "nodep" % string "nodefont" % string "leaffont" % string "nodecolor" |