Diffusion 0 A.D. Public Repository rP23726

Move all session hotkeys under session in default.cfg
rP23726
Actions

Description

Move all session hotkeys under session in default.cfg
This appears to comply with "This can be changed once all settings belong to a section." from rP15986 which did not set these hotkeys under session.

Patch By: Nescio
Differential Revision: D2616

Details

Committed

bb	Jun 1 2020, 5:11 PM

Differential Revision

D2616: group hotkey.session hotkeys under [hotkeys.session]

Parents

rP23725: Also fix 6 player skirmish maps

Branches

Unknown

Tags

Unknown

Build Status

Buildable 11899
Build 22277: Post-Commit Build	Jenkins
Build 22276: Post-Commit Build (macOS)	Jenkins

Event Timeline

bb committed rP23726: Move all session hotkeys under session in default.cfg.Jun 1 2020, 5:11 PM

bb added an edge: D2616: group hotkey.session hotkeys under [hotkeys.session].

Harbormaster failed to build B11899: rP23726: Move all session hotkeys under session in default.cfg!Jun 1 2020, 5:17 PM

Changes (1)

Path

Size

ps/

trunk/

binaries/

data/

config/

default.cfg

rP23726

View Options

ps/trunk/binaries/data/config/default.cfg