# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1393964740 -3600
# Node ID bb28e80dbcc8e05b159f09db1737507048c41b3e
# Parent  3f2ec5ba05001a4279634d3144e302eda8c4ab49
initial checkin

diff -r 3f2ec5ba0500 -r bb28e80dbcc8 analyzer/extensions.st