* src/bin/common_setup.cc: Bump copyright year.
This commit is contained in:
parent
86558f1a5c
commit
c55f282298
1 changed files with 3 additions and 3 deletions
|
|
@ -1,6 +1,6 @@
|
||||||
// -*- coding: utf-8 -*-
|
// -*- coding: utf-8 -*-
|
||||||
// Copyright (C) 2012 Laboratoire de Recherche et Développement de
|
// Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement
|
||||||
// l'Epita (LRDE).
|
// de l'Epita (LRDE).
|
||||||
//
|
//
|
||||||
// This file is part of Spot, a model checking library.
|
// This file is part of Spot, a model checking library.
|
||||||
//
|
//
|
||||||
|
|
@ -29,7 +29,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) 2012 Laboratoire de Recherche et Développement de l'Epita.\n\
|
Copyright (C) 2013 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