# This file could be used by the admin installing GAP to change some
# of the default user preferences. (Usually not needed.)