diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-22 15:27:16 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-22 15:27:16 +0000 |
| commit | db544b1cc9ee72c87dd6bbd094f6985b9e436186 (patch) | |
| tree | c96255a4a7f7bb39343c2fe7c5252af8d86651da /src/www/syntax-editor/editor.html | |
| parent | bac6b7fe6438d06fab3451263d4d94e9055f6f88 (diff) | |
PGFService.hs: fix type error caused by change to PGF.graphvizParseTree
Note that some of the graphviz functions have backwards incompatible changes
that might also affect other clients of the PGF run-time library.
Also added graphvizDefaults and export it together with GraphvizOptions from
the PGF run-time library.
Diffstat (limited to 'src/www/syntax-editor/editor.html')
0 files changed, 0 insertions, 0 deletions