Initial commit.

2017-04-11 15:48:26 +02:00
commit bbf8eb631a
350 changed files with 12750 additions and 0 deletions
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+rm -rf default* *.png *.dot wfr_wdir*
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+for i in *.dot; do
+  echo "Creating $i.png"
+  dot -Tpng $i > $i.png
+done
+