1# Nothing to do.
2# Copyright (C) 2014-2022 Free Software Foundation, Inc.
3#
4# Copying and distribution of this file, with or without modification,
5# are permitted in any medium without royalty provided the copyright
6# notice and this notice are preserved.
7