diff man/gnu.texi @ 45092:7f1d09693ef3

(Vgame_score_directory): Renamed to Vshared_game_score_directory.
author Colin Walters <walters@gnu.org>
date Fri, 03 May 2002 20:40:58 +0000
parents 730f77edf073
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff