* bin/common_setup.cc: Bump copyright year.
This commit is contained in:
parent
d68db6ad44
commit
82a718a0f2
1 changed files with 3 additions and 3 deletions
|
|
@ -1,6 +1,6 @@
|
||||||
// -*- coding: utf-8 -*-
|
// -*- coding: utf-8 -*-
|
||||||
// Copyright (C) 2012, 2013, 2014, 2015 Laboratoire de Recherche et
|
// Copyright (C) 2012, 2013, 2014, 2015, 2016 Laboratoire de Recherche
|
||||||
// Développement de l'Epita (LRDE).
|
// et Développement de l'Epita (LRDE).
|
||||||
//
|
//
|
||||||
// This file is part of Spot, a model checking library.
|
// This file is part of Spot, a model checking library.
|
||||||
//
|
//
|
||||||
|
|
@ -33,7 +33,7 @@ display_version(FILE *stream, struct argp_state*)
|
||||||
fputs(program_name, stream);
|
fputs(program_name, stream);
|
||||||
fputs(" (" PACKAGE_STRING ")\n\
|
fputs(" (" PACKAGE_STRING ")\n\
|
||||||
\n\
|
\n\
|
||||||
Copyright (C) 2015 Laboratoire de Recherche et Développement de l'Epita.\n\
|
Copyright (C) 2016 Laboratoire de Recherche et Développement de l'Epita.\n\
|
||||||
License GPLv3+: \
|
License GPLv3+: \
|
||||||
GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.\n\
|
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\
|
This is free software: you are free to change and redistribute it.\n\
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue