#
# $Id$
#
# this file is automatically processed by configure
#
0.7.2