diff man/indent.texi @ 44479:5eb5e6c99de4

Add --game-dir, --game-user. Test to see if we can use them.
author Colin Walters <walters@gnu.org>
date Wed, 10 Apr 2002 19:04:08 +0000
parents a093cd4ed690
children c48cc0f16c0e
line wrap: on
line diff