diff config.bat @ 55527:4729059e27b8

(Man-getpage-in-background): Use shell-file-name and shell-command-switch variables instead of hard-coded values.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 11 May 2004 09:28:56 +0000
parents 1ee1cc05559b
children 9e48278ca4fb
line wrap: on
line diff