# Copyright 2019-2020 Portmod Authors
# Distributed under the terms of the GNU General Public License v3
