projects
/
u
/
mdw
/
putty
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Try to make our PGP signing more useful:
[u/mdw/putty]
/
doc
/
index.but
diff --git
a/doc/index.but
b/doc/index.but
index
bc12807
..
a8ce02a
100644
(file)
--- a/
doc/index.but
+++ b/
doc/index.but
@@
-109,6
+109,7
@@
saved sessions from
\IM{-1} \c{-1} command-line option
\IM{-2} \c{-2} command-line option
\IM{-i} \c{-i} command-line option
\IM{-1} \c{-1} command-line option
\IM{-2} \c{-2} command-line option
\IM{-i} \c{-i} command-line option
+\IM{-pgpfp} \c{-pgpfp} command-line option
\IM{removing registry entries} removing registry entries
\IM{removing registry entries} registry entries, removing
\IM{removing registry entries} removing registry entries
\IM{removing registry entries} registry entries, removing