From 64274882e34cb905cec86bbecef2cd1818c096dd Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 7 Jan 2017 08:40:45 -0500 Subject: Update man page --- debian/urweb.1 | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'debian') diff --git a/debian/urweb.1 b/debian/urweb.1 index 46b23bd2..1d858ae6 100644 --- a/debian/urweb.1 +++ b/debian/urweb.1 @@ -1,6 +1,6 @@ -.TH urweb 1 "October 22, 2016" +.TH urweb 1 "January 5, 2017" .\" urweb.1 -- man page for urweb - \" Copyright (C) 2013, 2015, 2016 Benjamin Barenblat + \" Copyright (C) 2013, 2015, 2016, 2017 Benjamin Barenblat \" \" 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-2016 Adam Chlipala and licensed under the +\fBurweb\fP is copyright \(co 2008-2017 Adam Chlipala and licensed under the 3-clause BSD license . -This manual page is copyright \(co 2013, 2015, 2016 Benjamin Barenblat and +This manual page is copyright \(co 2013, 2015, 2016, 2017 Benjamin Barenblat and licensed under the Apache License, Version 2.0. -- cgit v1.2.3