Skip to content
CI

Adds the shortcut to input enclosing numbers, also maps keys on the num pad. #519

Sign in to view logs

Adds the shortcut to input enclosing numbers, also maps keys on the num pad.

Adds the shortcut to input enclosing numbers, also maps keys on the num pad. #519

build_ubuntu (ubuntu:22.04)

build_ubuntu (ubuntu:22.04)
succeeded Jul 31, 2024 in 1m 41s