X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=texi2man;fp=texi2man;h=1f2e8157ac5fd08b67e6bcf54b7c46873a266251;hb=74025874f2010f84fd4f7f2e120e84b56ee9781b;hp=1f2e8157ac5fd08b67e6bcf54b7c46873a266251;hpb=762e18baef5f815cc46019ba3e082bd5ec1980f6;p=xboard.git diff --git a/texi2man b/texi2man old mode 100644 new mode 100755