summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-10-24 12:01:37 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-10-24 12:01:37 -0400
commitc001273ff3ffd768e1f0d39506c136cd8504de8b (patch)
tree69b0aba36b39830d86a55b7eb2aa8d11086f71e8 /debian
parent71bf644a86026cc3566222aca56a28f2eb3a0ce0 (diff)
Update debian/copyright
Diffstat (limited to 'debian')
-rw-r--r--debian/copyright2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/copyright b/debian/copyright
index 6c7ca72a..c5ad63a2 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -6,7 +6,7 @@ Copyright: 2008-2011 Adam Chlipala <adamc@csail.mit.edu>
License: BSD-3-clause
Files: *
-Copyright: 2008-2014 Adam Chlipala <adamc@csail.mit.edu>
+Copyright: 2008-2015 Adam Chlipala <adamc@csail.mit.edu>
License: BSD-3-clause
Files: debian/*