From 4b66c105da539f47f7974d1e33ba3532ca7a5b12 Mon Sep 17 00:00:00 2001
From: Jacob Nevins <jacobn@chiark.greenend.org.uk>
Date: Wed, 28 Apr 2004 17:16:32 +0000
Subject: [PATCH] update pocketputty URL

[originally from svn r4161]
---
 doc/faq.but | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/faq.but b/doc/faq.but
index dd515285..154fefb2 100644
--- a/doc/faq.but
+++ b/doc/faq.but
@@ -1,4 +1,4 @@
-\versionid $Id: faq.but,v 1.67 2004/03/31 12:50:17 simon Exp $
+\versionid $Id: faq.but,v 1.68 2004/04/28 17:16:32 jacob Exp $
 
 \A{faq} PuTTY FAQ
 
@@ -265,7 +265,7 @@ clearly be a useful thing, so in the long term I hope it can be
 brought up to release quality.
 
 There's also a third-party port at
-\W{http://pocketputty.aleq.cz/}\c{http://pocketputty.aleq.cz/}.
+\W{http://pocketputty.duxy.net/}\c{http://pocketputty.duxy.net/}.
 
 \S{faq-win31}{Question} Is there a port to Windows 3.1?