From f0bc4b10418bb3aa2f5d0c7cd385a741d7c7a7ff Mon Sep 17 00:00:00 2001 From: jos Date: Thu, 21 May 2015 14:40:12 +0200 Subject: [PATCH] Some tweaks of the DOT playground --- .../data/dotLanguage/dotPlayground.html | 48 ++++++++----------- 1 file changed, 21 insertions(+), 27 deletions(-) diff --git a/examples/network/categories/data/dotLanguage/dotPlayground.html b/examples/network/categories/data/dotLanguage/dotPlayground.html index cca244e3..a4c002dc 100644 --- a/examples/network/categories/data/dotLanguage/dotPlayground.html +++ b/examples/network/categories/data/dotLanguage/dotPlayground.html @@ -79,15 +79,6 @@