diff options
Diffstat (limited to 'plugins/externaltools/scripts')
| -rwxr-xr-x | plugins/externaltools/scripts/Makefile.am | 2 | ||||
| -rwxr-xr-x | plugins/externaltools/scripts/pluma-tool-merge.pl (renamed from plugins/externaltools/scripts/gedit-tool-merge.pl) | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/plugins/externaltools/scripts/Makefile.am b/plugins/externaltools/scripts/Makefile.am index 4ff8060b..237d5e58 100755 --- a/plugins/externaltools/scripts/Makefile.am +++ b/plugins/externaltools/scripts/Makefile.am @@ -1,4 +1,4 @@ -EXTRA_DIST = gedit-tool-merge.pl +EXTRA_DIST = pluma-tool-merge.pl -include $(top_srcdir)/git.mk diff --git a/plugins/externaltools/scripts/gedit-tool-merge.pl b/plugins/externaltools/scripts/pluma-tool-merge.pl index 780d95dd..37b752e7 100755 --- a/plugins/externaltools/scripts/gedit-tool-merge.pl +++ b/plugins/externaltools/scripts/pluma-tool-merge.pl @@ -1,22 +1,22 @@ #!/usr/bin/perl -# gedit-tool-merge.pl -# This file is part of gedit +# pluma-tool-merge.pl +# This file is part of pluma # # Copyright (C) 2006 - Steve Frécinaux <[email protected]> # -# gedit is free software; you can redistribute it and/or modify +# pluma is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 2 of the License, or # (at your option) any later version. # -# gedit is distributed in the hope that it will be useful, +# pluma is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with gedit; if not, write to the Free Software +# along with pluma; if not, write to the Free Software # Foundation, Inc., 51 Franklin St, Fifth Floor, # Boston, MA 02110-1301 USA |