]> asedeno.scripts.mit.edu Git - PuTTY.git/commitdiff
Merge misc docs improvements from branch 'pre-0.64'.
authorJacob Nevins <jacobn@chiark.greenend.org.uk>
Sat, 8 Nov 2014 19:32:42 +0000 (19:32 +0000)
committerJacob Nevins <jacobn@chiark.greenend.org.uk>
Sat, 8 Nov 2014 19:32:42 +0000 (19:32 +0000)

Trivial merge