# Nothing to do.
# Copyright(C)2014-2022 Free Software Foundation, Inc.
#
# Copying and distribution of this file,withor without modification,
# are permitted in any medium without royalty provided the copyright
# notice and this notice are preserved.