# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1393947652 -3600
# Node ID f5c41bb7cfd717ad01b3e3149abd0c44e05f5632
# Parent  332fd6a2d2cd63b898355825f05fea022c03013c
checkin from stx browser

diff -r 332fd6a2d2cd -r f5c41bb7cfd7 analyzer/.cvsignore