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