diff options
Diffstat (limited to 'plugins/externaltools/tools/manager.py')
| -rwxr-xr-x | plugins/externaltools/tools/manager.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py index b8e143b0..a24c2a95 100755 --- a/plugins/externaltools/tools/manager.py +++ b/plugins/externaltools/tools/manager.py @@ -1,6 +1,7 @@ # -*- coding: utf-8 -*- # Pluma External Tools plugin # Copyright (C) 2005-2006 Steve Frécinaux <[email protected]> +# Copyright (C) 2012-2021 MATE Developers # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by |