#48743: Manual: "Server options" -> "Server settings"
Open Date: 2023-09-28 23:21
Last Update: 2023-10-10 05:03
URL for this Ticket:
https://osdn.net//projects/freeciv/ticket/48743
RSS feed for this Ticket:
https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=48743
---------------------------------------------------------------------
Last Changes/Comment on this Ticket:
2023-10-10 05:03 Updated by: cazfi
* Owner Update from (None) to cazfi
* Resolution Update from None to Accepted
* Milestone Update from (None) to 3.0.9
---------------------------------------------------------------------
Ticket Status:
Reporter: cazfi
Owner: cazfi
Type: Patches
Status: Open [Owner assigned]
Priority: 5 - Medium
MileStone: 3.0.9
Component: Manual Generator
Severity: 5 - Medium
Resolution: Accepted
---------------------------------------------------------------------
Ticket details:
Change Settings manual page header from "Server options" to "Server settings" to match the terminology we generally use (server settings, and client options)
--
Ticket information of Freeciv project
Freeciv Project is hosted on OSDN
Project URL: https://osdn.net/projects/freeciv/
OSDN: https://osdn.net
URL for this Ticket:
https://osdn.net/projects/freeciv/ticket/48743
RSS feed for this Ticket:
https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=48743