diff options
-rw-r--r-- | .dir-locals.el | 3 | ||||
-rw-r--r-- | .gitignore | 2 | ||||
-rw-r--r-- | Makefile.am | 3 | ||||
-rw-r--r-- | configure.ac | 3 | ||||
-rw-r--r-- | src/main.cc | 3 |
5 files changed, 5 insertions, 9 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index 0a03bb3..3845517 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -1,6 +1,5 @@ -;; .dir-locals.el ;; Copyright (C) 2013 Galois, Inc. -;; Copyright (C) 2014 Benjamin Barenblat +;; Copyright (C) 2014, 2015 Benjamin Barenblat ;; ;; This library is free software: you can redistribute it and/or modify it ;; under the terms of the GNU General Public License as published by the Free @@ -1,4 +1,4 @@ -# .gitignore -*- conf -*- +# -*- conf -*- # Editor backup files *~ diff --git a/Makefile.am b/Makefile.am index b77dbbc..db79507 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,6 +1,5 @@ -# Makefile.am # Copyright (C) 2013, 2014 Galois, Inc. -# Copyright (C) 2014 Benjamin Barenblat +# Copyright (C) 2014, 2015 Benjamin Barenblat # # 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 the Free Software diff --git a/configure.ac b/configure.ac index 312c4ff..69fc9a5 100644 --- a/configure.ac +++ b/configure.ac @@ -1,6 +1,5 @@ -# configure.ac # Copyright (C) 2013, 2014 Galois, Inc. -# Copyright (C) 2014 Benjamin Barenblat +# Copyright (C) 2014, 2015 Benjamin Barenblat # # 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 the Free Software diff --git a/src/main.cc b/src/main.cc index 402853e..de85472 100644 --- a/src/main.cc +++ b/src/main.cc @@ -1,5 +1,4 @@ -// main.cc -// Copyright (C) 2014 Benjamin Barenblat +// Copyright (C) 2014, 2015 Benjamin Barenblat // // 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 the Free |