summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-server
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-20 01:26:11 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-20 01:28:45 +0100
commit5805ac6d5c891d90c6a5edc2fb10b5269e41203f (patch)
treed9d6a868c7a40c6fc8035a150b2046c85d38377d /infra/dgit-repos-server
parent4abae1c64305da057e7de3ff5e35f9f156f53f0e (diff)
Update copyright notices in many files
Mostly, adding 2019. Also adding some missing credits to Sean Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/dgit-repos-server')
-rwxr-xr-xinfra/dgit-repos-server2
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index 09a0d3c..4c7e031 100755
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -3,7 +3,7 @@
#
# git protocol proxy to check dgit pushes etc.
#
-# Copyright (C) 2014-2016 Ian Jackson
+# Copyright (C) 2014-2017,2019 Ian Jackson
#
# 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