summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
Diffstat (limited to 'debian')
-rw-r--r--debian/urweb.110
1 files changed, 5 insertions, 5 deletions
diff --git a/debian/urweb.1 b/debian/urweb.1
index 6baf4d0b..d261b929 100644
--- a/debian/urweb.1
+++ b/debian/urweb.1
@@ -1,6 +1,6 @@
-.TH urweb 1 "December 20, 2015"
+.TH urweb 1 "February 13, 2016"
.\" urweb.1 -- man page for urweb
- \" Copyright (C) 2013, 2015 Benjamin Barenblat <bbaren@mit.edu>
+ \" Copyright (C) 2013, 2015, 2016 Benjamin Barenblat <bbaren@mit.edu>
\"
\" Licensed under the Apache License, Version 2.0 (the "License"); you may not
\" use this file except in compliance with the License. You may obtain a copy
@@ -421,8 +421,8 @@ you've found a bug (e.g., the compiler throws an unhandled exception), contact
the Ur/Web mailing list, \fIur@impredicative.com\fP.
.SH COPYRIGHT
-\fBurweb\fP is copyright \(co 2008-2015 Adam Chlipala and licensed under the
+\fBurweb\fP is copyright \(co 2008-2016 Adam Chlipala and licensed under the
3-clause BSD license <http://www.xfree86.org/3.3.6/COPYRIGHT2.html#5>.
-This manual page is copyright \(co 2013, 2015 Benjamin Barenblat and licensed
-under the Apache License, Version 2.0.
+This manual page is copyright \(co 2013, 2015, 2016 Benjamin Barenblat and
+licensed under the Apache License, Version 2.0.