Manual: "Server options" -> "Server settings"

• Relator: cazfi
• Dono: cazfi
• Tipo: Patches
• Estado: Fechado
• Componente: Manual Generator
• Marcos: 3.0.9 (fechado)
• Prioridade: 5 - Medium
• Gravidade: 5 - Medium
• Resolução: Fixed
• Arquivo: 3

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 History (3/6 Histories)

2023-09-29 05:21 Updated by: cazfi

• New Ticket "Manual: "Server options" -> "Server settings"" created

2023-10-10 07:09 Updated by: cazfi

• File 0037-Manual-Change-settings-page-heading-to-server-settin.patch (File ID: 13507) is attached

2023-10-10 07:17 Updated by: cazfi

• File 0024-Manual-Change-settings-page-heading-to-server-settin.patch (File ID: 13508) is attached

2023-10-10 07:19 Updated by: cazfi

• File 0032-Manual-Change-settings-page-heading-to-server-settin.patch (File ID: 13509) is attached

2023-10-10 11:03 Updated by: cazfi

• Dono Update from (Nenhum) to cazfi
• Resolução Update from Nenhum to Accepted
• Marco Update from (Nenhum) to 3.0.9 (fechado)

2023-10-17 00:40 Updated by: cazfi

• Estado Update from Aberto to Fechado
• Resolução Update from Accepted to Fixed