Skip to content
Back to pull request #19364

Make terminal.option_as_meta=false in default settings #33308

Sign in to view logs

Make terminal.option_as_meta=false in default settings

Make terminal.option_as_meta=false in default settings #33308

This job was skipped