[Freeciv-Dev] (PR#13144) Show and hide dead players in the players dialo
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
|
Subject: |
[Freeciv-Dev] (PR#13144) Show and hide dead players in the players dialog |
|
From: |
"Mateusz Stefek" <mstefek@xxxxxxxxx> |
|
Date: |
Sat, 21 May 2005 02:41:04 -0700 |
|
Reply-to: |
bugs@xxxxxxxxxxx |
<URL: http://bugs.freeciv.org/Ticket/Display.html?id=13144 >
> [jdorje - Fri May 20 01:39:48 2005]:
> So, in summary you should put this new option into one of the above
> categories. I don't really care which one.
> -jason
OK. I put this option into VIEW_OPTIONS.
--
mateusz
|
|
