From 9293ac9dad5da9a4e0f2977aa7340f49590e0b5e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 14 Jun 2016 11:32:26 +0200 Subject: [PATCH] fix a few copyright headers * tests/core/ltlcrossgrind.test, tests/core/ltlgrind.test, tests/core/ltlrel.test: Here. --- tests/core/ltlcrossgrind.test | 2 +- tests/core/ltlgrind.test | 4 ++-- tests/core/ltlrel.test | 4 ++-- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/tests/core/ltlcrossgrind.test b/tests/core/ltlcrossgrind.test index a9f7b1eb9..1814bcd15 100755 --- a/tests/core/ltlcrossgrind.test +++ b/tests/core/ltlcrossgrind.test @@ -1,6 +1,6 @@ #! /bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2014 Laboratoire de Recherche et Dévelopement to +# Copyright (C) 2014 Laboratoire de Recherche et Développement de # l'Epita (LRDE). # # This file is part of Spot, a model checking library. diff --git a/tests/core/ltlgrind.test b/tests/core/ltlgrind.test index abc95285c..0cbc0dae4 100755 --- a/tests/core/ltlgrind.test +++ b/tests/core/ltlgrind.test @@ -1,7 +1,7 @@ #! /bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2014, 2015 Laboratoire de Recherche et Dévelopement to -# l'Epita (LRDE). +# Copyright (C) 2014, 2015 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/tests/core/ltlrel.test b/tests/core/ltlrel.test index 4f403ef66..b734bee18 100755 --- a/tests/core/ltlrel.test +++ b/tests/core/ltlrel.test @@ -1,7 +1,7 @@ #! /bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2013, 2016 Laboratoire de Recherche et Dévelopement to -# l'Epita (LRDE). +# Copyright (C) 2013, 2016 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. #