Change copyright from Dirk Beyer to SV-Benchmarks Community

lembergerth · lembergerth · commit 266af4749e7d · 2020-10-30T14:12:58.000+01:00
diff --git a/c/xcsp/README.md b/c/xcsp/README.md
@@ -2,10 +2,10 @@
 This file is part of the SV-Benchmarks collection of verification tasks:
 https://github.com/sosy-lab/sv-benchmarks
 
-SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
+SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
 
 SPDX-License-Identifier: Apache-2.0
- -->
+-->
 
 These programs are obtained by converting the [benchmarks][1] provided for the [XCSP_to_C tool][2] to C-programs.
 
diff --git a/c/xcsp/create_from_xmls.py b/c/xcsp/create_from_xmls.py
@@ -1,7 +1,7 @@
 # This file is part of the SV-Benchmarks collection of verification tasks:
 # https://github.com/sosy-lab/sv-benchmarks
 #
-# SPDX-FileCopyrightText: 2020 Dirk Beyer <dirk.beyer@sosy-lab.org>
+# SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community
 #
 # SPDX-License-Identifier: Apache-2.0
 

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`# This file is part of the SV-Benchmarks collection of verification tasks:`
`2`	`2`	`# https://github.com/sosy-lab/sv-benchmarks`
`3`	`3`	`#`
`4`		`-# SPDX-FileCopyrightText: 2020 Dirk Beyer <[email protected]>`
	`4`	`+# SPDX-FileCopyrightText: 2020 The SV-Benchmarks Community`
`5`	`5`	`#`
`6`	`6`	`# SPDX-License-Identifier: Apache-2.0`
`7`	`7`