From e2f1a214a4686de81fd912ef2efc0de3b6314f54 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 13 Feb 2016 10:48:24 -0500 Subject: Update man page --- debian/urweb.1 | 10 +++++----- 1 file 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 + \" Copyright (C) 2013, 2015, 2016 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-2015 Adam Chlipala and licensed under the +\fBurweb\fP is copyright \(co 2008-2016 Adam Chlipala and licensed under the 3-clause BSD license . -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. -- cgit v1.2.3