Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Commits
bd0f9594
Commit
bd0f9594
authored
Jan 07, 2019
by
Alexandre Duret-Lutz
Browse files
Bump copyright year
* bin/common_setup.cc, debian/copyright: Here.
parent
365fde83
Pipeline
#5406
failed with stages
in 144 minutes and 3 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
bin/common_setup.cc
View file @
bd0f9594
// -*- coding: utf-8 -*-
// Copyright (C) 2012-201
8
Laboratoire de Recherche et Développement
// Copyright (C) 2012-201
9
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) 201
8
Laboratoire de Recherche et Développement de l'Epita.
\n
\
Copyright (C) 201
9
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
\
...
...
debian/copyright
View file @
bd0f9594
...
...
@@ -4,7 +4,7 @@ Source: http://spot.lrde.epita.fr/dload/spot/
Files: *
Copyright: 2003-2007 Laboratoire d'Informatique de Paris 6 (LIP6)
2007-201
8
Laboratoire de Recherche et Développement de l'Epita (LRDE)
2007-201
9
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
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment