diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
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 |