From c5fe3970dde62a0398945c6a9c77859e5af42dc7 Mon Sep 17 00:00:00 2001
From: Rob van Son <r.j.j.h.vanson@gmail.com>
Date: Thu, 16 May 2013 14:57:41 +0200
Subject: [PATCH] Update manual

---
 Private/manual.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Private/manual.html b/Private/manual.html
index fc274a3..8fdae34 100644
--- a/Private/manual.html
+++ b/Private/manual.html
@@ -93,8 +93,7 @@ types of tickets:
 All tickets can have an expiration date in the form of a time duration 
 from creation, in seconds, minutes, hours, or days (<em>+duration</em>[smhd]).
 An absolute time can be given in seconds since the epoch of the server host.
-Accounts can include a maximal lifetime 
-for session tickets (MaxLifetime).
+Accounts can include a maximal lifetime for session tickets (MaxLifetime).
 </p>
 <p>
 A Login page should create a LOGIN ticket file locally and send a
-- 
2.11.4.GIT