From 1ae22613a627a67f20229ca2fcd197d60dbfd677 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat 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 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to '.dir-locals.el') 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 -- cgit v1.2.3