summaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-03-13 14:36:46 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-03-13 14:36:46 -0400
commit1ae22613a627a67f20229ca2fcd197d60dbfd677 (patch)
treeb147f93ff75dfb8c924c6f327d9e4c4ea4bf56f2 /Makefile.am
parent0ab6405b88426e7770688dc31c2651ac40462ee4 (diff)
Remove first lines containing file names
They’re incompatible with the Google style guide, so get rid of them.
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am3
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