diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-03-13 14:36:46 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-03-13 14:36:46 -0400 |
commit | 1ae22613a627a67f20229ca2fcd197d60dbfd677 (patch) | |
tree | b147f93ff75dfb8c924c6f327d9e4c4ea4bf56f2 /.dir-locals.el | |
parent | 0ab6405b88426e7770688dc31c2651ac40462ee4 (diff) |
Remove first lines containing file names
They’re incompatible with the Google style guide, so get rid of them.
Diffstat (limited to '.dir-locals.el')
-rw-r--r-- | .dir-locals.el | 3 |
1 files changed, 1 insertions, 2 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 |