X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Findex.but;h=683b8ddce99660e03a384a2892226c5e6ed223dc;hb=068b67d2f6e9b186b3107ebcb1e88a141b7b5ebc;hp=7bebe5345ac817960e175827ad6e065cf551c926;hpb=cc66c86e7311c97db09da989c340ba3108c9e14f;p=PuTTY.git diff --git a/doc/index.but b/doc/index.but index 7bebe534..683b8ddc 100644 --- a/doc/index.but +++ b/doc/index.but @@ -1,5 +1,3 @@ -\define{versionidindex} \versionid $Id$ - \IM{Unix version} Unix version of PuTTY tools \IM{Unix version} Linux version of PuTTY tools