--- embedtools/etc/butz.conf	2014/02/08 15:22:14	1.1.2.4
+++ embedtools/etc/butz.conf	2014/02/08 20:57:16	1.2
@@ -1,7 +1,7 @@
 #
 # Butz config
 #
-# $Id: butz.conf,v 1.1.2.4 2014/02/08 15:22:14 misho Exp $
+# $Id: butz.conf,v 1.2 2014/02/08 20:57:16 misho Exp $
 
 [reset]
 gpio_pin = 11