diff options
author | Javier Jardón <jjardon@gnome.org> | 2015-03-13 18:18:55 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2015-03-16 13:07:45 +0000 |
commit | e9461f5add5f701017ed74d5ca1e0d6b0c812bbe (patch) | |
tree | 57da8d6caa1a6a4bfd4a2f4083bdfe1b9ade7485 | |
parent | a6128e7c12baa6f9fc763dbda3988f402860c472 (diff) | |
download | definitions-e9461f5add5f701017ed74d5ca1e0d6b0c812bbe.tar.gz |
Use the modern way of the GPL copyright header: URL instead real address
Change-Id: I992dc0c1d40f563ade56a833162d409b02be90a0
-rw-r--r-- | writeexts.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/writeexts.py b/writeexts.py index ab451d14..6eec4465 100644 --- a/writeexts.py +++ b/writeexts.py @@ -10,8 +10,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License along -# with this program; if not, write to the Free Software Foundation, Inc., -# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. +# with this program. If not, see <http://www.gnu.org/licenses/>. import cliapp |