Docs

Make terminal.option_as_meta=false in default settings #2086

Sign in to view logs

Triggered via pull request October 17, 2024 13:48

notpeter

opened #19364

revert_alt_as_meta

Status Success

Total duration 1m 39s

Artifacts –

docs.yml

on: pull_request

Check formatting