Commit 449c1a58 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

bump copyright year

* bin/common_setup.cc, debian/copyright: Here.
parent 1d8b00cf
Pipeline #24904 passed with stages
in 301 minutes and 59 seconds
// -*- coding: utf-8 -*-
// Copyright (C) 2012-2020 Laboratoire de Recherche et Développement
// Copyright (C) 2012-2021 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) 2020 Laboratoire de Recherche et Développement de l'Epita.\n\
Copyright (C) 2021 Laboratoire de Recherche et Développement de l'Epita.\n\
License GPLv3+: \
GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.\n\
This is free software: you are free to change and redistribute it.\n\
......
......@@ -4,7 +4,7 @@ Source: http://spot.lrde.epita.fr/dload/spot/
Files: *
Copyright: 2003-2007 Laboratoire d'Informatique de Paris 6 (LIP6)
2007-2020 Laboratoire de Recherche et Développement de l'Epita (LRDE)
2007-2021 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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment