# HG changeset patch
# User Jan Vrany <jan.vrany@fit.cvut.cz>
# Date 1336229325 -7200
# Node ID b86ca1582c6eb9c34b25686d0342e102e26a7958
# Parent  21381bc66c96e63850f86daf23b7e3509b67dacc
checkin from stx browser