This is an automated notification of a change to freeciv cvs,
on Sun May 22 02:53:12 PDT 2005 = Sun May 22 09:53:12 2005 (GMT)
by Mateusz Stefek <[email protected]>
---- Files affected:
freeciv/client options.c options.h
freeciv/client/gui-gtk-2.0 plrdlg.c
---- Log message:
Tag: HEAD
Add an option to hide dead players in players dialog. Patch by me in PR#13144, suggestions by Jason, reported by many
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.