Skip to content

Commit

Permalink
Minor: Update copyright notice.
Browse files Browse the repository at this point in the history
  • Loading branch information
@ArnaudCharlet
ArnaudCharlet committed Jan 4, 2014
1 parent 7c6bf28 commit 5f47c72
Show file tree
Hide file tree
Showing 17 changed files with 17 additions and 17 deletions.
2 changes: 1 addition & 1 deletion gnatmerge/ada/common.adb
View file
Expand Up @@ -4,7 +4,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2012-2013, AdaCore --
-- Copyright (C) 2012-2014, AdaCore --
-- --
-- gnatmerge is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatmerge/ada/common.ads
View file
Expand Up @@ -4,7 +4,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2012-2013, AdaCore --
-- Copyright (C) 2012-2014, AdaCore --
-- --
-- gnatmerge is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatmerge/ada/configuration.adb
View file
Expand Up @@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2012-2013, AdaCore --
-- Copyright (C) 2012-2014, AdaCore --
-- --
-- gnatmerge is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatmerge/ada/configuration.ads
View file
Expand Up @@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2012-2013, AdaCore --
-- Copyright (C) 2012-2014, AdaCore --
-- --
-- gnatmerge is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatmerge/ada/gnatmerge.adb
View file
Expand Up @@ -4,7 +4,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2012-2013, AdaCore --
-- Copyright (C) 2012-2014, AdaCore --
-- --
-- gnatmerge is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatmerge/ada/json_tree.adb
View file
Expand Up @@ -4,7 +4,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2012-2013, AdaCore --
-- Copyright (C) 2012-2014, AdaCore --
-- --
-- gnatmerge is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatmerge/ada/json_tree.ads
View file
Expand Up @@ -4,7 +4,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2012-2013, AdaCore --
-- Copyright (C) 2012-2014, AdaCore --
-- --
-- gnatmerge is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatmerge/ada/textconsole.adb
View file
Expand Up @@ -4,7 +4,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2012-2013, AdaCore --
-- Copyright (C) 2012-2014, AdaCore --
-- --
-- gnatmerge is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatmerge/ada/textconsole.ads
View file
Expand Up @@ -4,7 +4,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2012-2013, AdaCore --
-- Copyright (C) 2012-2014, AdaCore --
-- --
-- gnatmerge is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatmerge/examples/simple/src/pack.adb
View file
@@ -1,5 +1,5 @@
--
-- Copyright (C) 2011-2013, AdaCore
-- Copyright (C) 2011-2014, AdaCore
--
--
--
Expand Down
2 changes: 1 addition & 1 deletion gnatmerge/examples/simple/src/pack.ads
View file
@@ -1,5 +1,5 @@
--
-- Copyright (C) 2011-2013, AdaCore
-- Copyright (C) 2011-2014, AdaCore
--

-- pragma Ada_12;
Expand Down
2 changes: 1 addition & 1 deletion gnatprove/configuration.adb
View file
Expand Up @@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2010-2013, AdaCore --
-- Copyright (C) 2010-2014, AdaCore --
-- --
-- gnatprove is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatprove/configuration.ads
View file
Expand Up @@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2010-2013, AdaCore --
-- Copyright (C) 2010-2014, AdaCore --
-- --
-- gnatprove is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatprove/gnatprove.adb
View file
Expand Up @@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2010-2013, AdaCore --
-- Copyright (C) 2010-2014, AdaCore --
-- --
-- gnatprove is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatprove/report_database.adb
View file
Expand Up @@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2010-2013, AdaCore --
-- Copyright (C) 2010-2014, AdaCore --
-- --
-- gnatprove is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatprove/report_database.ads
View file
Expand Up @@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2010-2013, AdaCore --
-- Copyright (C) 2010-2014, AdaCore --
-- --
-- gnatprove is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down
2 changes: 1 addition & 1 deletion gnatprove/spark_report.adb
View file
Expand Up @@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2010-2013, AdaCore --
-- Copyright (C) 2010-2014, AdaCore --
-- --
-- gnatprove is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
Expand Down

0 comments on commit 5f47c72

Please sign in to comment.