diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 12:42:55 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 12:42:55 +0200 |
| commit | c31bac6af57af917b8f799d0c21eb6af34ee1f6e (patch) | |
| tree | 5a9603a4ec016f1aa09c7da52510790680c790c3 /utilities/Witness_complex/strong_witness_persistence.cpp | |
| parent | 02de1136cf9850803cb1e1ac1141f11b50be2992 (diff) | |
| parent | 41482b4260b4aff3d6803e340d5c94fbefb9af67 (diff) | |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'utilities/Witness_complex/strong_witness_persistence.cpp')
| -rw-r--r-- | utilities/Witness_complex/strong_witness_persistence.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utilities/Witness_complex/strong_witness_persistence.cpp b/utilities/Witness_complex/strong_witness_persistence.cpp index 2fba631b..9d23df74 100644 --- a/utilities/Witness_complex/strong_witness_persistence.cpp +++ b/utilities/Witness_complex/strong_witness_persistence.cpp @@ -4,7 +4,7 @@ * * Author(s): Siargey Kachanovich * - * Copyright (C) 2016 INRIA (France) + * Copyright (C) 2016 Inria * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by |