From 1ae22613a627a67f20229ca2fcd197d60dbfd677 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Fri, 13 Mar 2015 14:36:46 -0400
Subject: Remove first lines containing file names
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

They’re incompatible with the Google style guide, so get rid of them.
---
 .dir-locals.el | 3 +--
 .gitignore     | 2 +-
 Makefile.am    | 3 +--
 configure.ac   | 3 +--
 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
diff --git a/.gitignore b/.gitignore
index 13cd87b..9cbc534 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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
-- 
cgit v1.2.3