Skip to content
Back to pull request #19364

Make terminal.option_as_meta=false in default settings #2086

Sign in to view logs

Make terminal.option_as_meta=false in default settings

Make terminal.option_as_meta=false in default settings #2086

Check formatting

Check formatting
succeeded Oct 17, 2024 in 1m 28s