# This file is managed by MediaTeX software.
# MediaTeX servers list