git update everything

util/udall

@@ -0,0 +1,17 @@
+#!/bin/bash
+if [ ! -d .git ]; then
+	echo Unable to update `pwd`
+	exit
+fi
+git pull
+
+if [ -d extend ] ; then
+	for a in  theme addon widget ; do
+		if [ -d $a ]; then
+			for b in  `ls extend/$a` ; do
+				echo Updating $b
+				'util/update_'$a'_repo' $b
+			done
+		fi
+	done
+fi

version.inc

@@ -1 +1 @@
-2016-03-12.1333H
+2016-03-13.1334H