From bd0f959418bd6b89f72031844da2c2e97f8f0cc3 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 7 Jan 2019 11:27:55 +0100 Subject: [PATCH] Bump copyright year * bin/common_setup.cc, debian/copyright: Here. --- bin/common_setup.cc | 4 ++-- debian/copyright | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/bin/common_setup.cc b/bin/common_setup.cc index babd0f58d..99b4eb202 100644 --- a/bin/common_setup.cc +++ b/bin/common_setup.cc @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2012-2018 Laboratoire de Recherche et Développement +// Copyright (C) 2012-2019 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // // This file is part of Spot, a model checking library. @@ -35,7 +35,7 @@ display_version(FILE *stream, struct argp_state*) fputs(program_name, stream); fputs(" (" PACKAGE_NAME ") " PACKAGE_VERSION "\n\ \n\ -Copyright (C) 2018 Laboratoire de Recherche et Développement de l'Epita.\n\ +Copyright (C) 2019 Laboratoire de Recherche et Développement de l'Epita.\n\ License GPLv3+: \ GNU GPL version 3 or later .\n\ This is free software: you are free to change and redistribute it.\n\ diff --git a/debian/copyright b/debian/copyright index a68b14a79..f292ed7d0 100644 --- a/debian/copyright +++ b/debian/copyright @@ -4,7 +4,7 @@ Source: http://spot.lrde.epita.fr/dload/spot/ Files: * Copyright: 2003-2007 Laboratoire d'Informatique de Paris 6 (LIP6) - 2007-2018 Laboratoire de Recherche et Développement de l'Epita (LRDE) + 2007-2019 Laboratoire de Recherche et Développement de l'Epita (LRDE) License: GPL-3+ Spot is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by