diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/urweb.1 | 10 |
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. |