moving resources into ui/

2014-07-23 01:54:10 +02:00
parent b8e01a1c8f
commit 3a5126f339
276 changed files with 28261 additions and 0 deletions
@@ -0,0 +1,10 @@
+#!/bin/sh
+#
+# This script uses imagemagick to generate the stripe-XXpx.gif's.
+#
+
+for i in `seq 10 40`; do
+	convert -size 30x$[2*$i] xc:white \
+	    -fill '#e8fffc' -draw "rectangle 0,$i 30,$[2*$i]" \
+	stripe-${i}px.gif
+done