diff options
Diffstat (limited to 'plugins/externaltools/tools/outputpanel.py')
| -rwxr-xr-x | plugins/externaltools/tools/outputpanel.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/externaltools/tools/outputpanel.py b/plugins/externaltools/tools/outputpanel.py index 39fd99a4..701f6c98 100755 --- a/plugins/externaltools/tools/outputpanel.py +++ b/plugins/externaltools/tools/outputpanel.py @@ -2,6 +2,7 @@ # Pluma External Tools plugin # Copyright (C) 2005-2006 Steve Frécinaux <[email protected]> # Copyright (C) 2010 Per Arneng <[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 |