Skip to content
CI

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

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. #518

build_ubuntu (ubuntu:22.04)

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