#
# Common config options automatically generated by splitconfig.pl
#