/diagrams/style/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2013-06-07 20:21 +0200 2920 arrangement-down.svg
-rw-r--r-- 2013-06-07 20:21 +0200 2305 arrangement-empty.svg
-rw-r--r-- 2013-06-07 20:21 +0200 2923 arrangement-right.svg
-rw-r--r-- 2013-06-07 20:21 +0200 49209 prov-colors.graffle
-rw-r--r-- 2013-06-07 20:21 +0200 19959 prov-colors.pdf
-rw-r--r-- 2013-06-07 20:21 +0200 213192 prov-colors.png
-rw-r--r-- 2013-06-07 20:21 +0200 7835 prov-colors.svg