diff options
author | Javier Jardón <jjardon@gnome.org> | 2015-03-16 16:30:05 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@baserock.org> | 2015-03-16 16:30:05 +0000 |
commit | a6e4ddd693e81b96e4d1fbc571abbf3212667ee9 (patch) | |
tree | 3183f3c9dee64af0cca90c84996c0da8e415f0d2 | |
parent | 8b1d5d732404abd70fe1ef91be84a3f2ce4c1c31 (diff) | |
parent | e9461f5add5f701017ed74d5ca1e0d6b0c812bbe (diff) | |
download | definitions-a6e4ddd693e81b96e4d1fbc571abbf3212667ee9.tar.gz |
Merge "Use the modern way of the GPL copyright header: URL instead real address"
-rw-r--r-- | writeexts.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/writeexts.py b/writeexts.py index 9f166d7f..3382767c 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 |