# HG changeset patch
# User Jan Vrany <jan.vrany@fit.cvut.cz>
# Date 1357824307 -3600
# Node ID b57b5cd21e9553ede7668de5929c6c4aa5164764
# Parent  b0d6346b78ba7087492d65abfe3dd2d869ebbf2b
initial checkin

diff -r b0d6346b78ba -r b57b5cd21e95 devtools/extensions.st