diff options
Diffstat (limited to 'gnulib-tool.py')
| -rwxr-xr-x | gnulib-tool.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnulib-tool.py b/gnulib-tool.py index d725cea902..0e5a33bf6e 100755 --- a/gnulib-tool.py +++ b/gnulib-tool.py @@ -4,7 +4,7 @@ # # 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 -# the Free Software Foundation; either version 3 of the License, or +# the Free Software Foundation, either version 3 of the License, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, |