#48743: Manual: "Server options" -> "Server settings"
Open Date: 2023-09-28 23:21
Last Update: 2023-10-16 18:40
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-16 18:40 Updated by: cazfi
* Status Update from Open to Closed
* Resolution Update from Accepted to Fixed
---------------------------------------------------------------------
Ticket Status:
Reporter: cazfi
Owner: cazfi
Type: Patches
Status: Closed
Priority: 5 - Medium
MileStone: 3.0.9
Component: Manual Generator
Severity: 5 - Medium
Resolution: Fixed
---------------------------------------------------------------------
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