Zulip Chat Archive

Stream: PR reviews

Topic: vscode - add unicode completion to markdown files

Edward Ayers (Oct 17 2018 at 14:20):

https://github.com/leanprover/vscode-lean/pull/96

Last updated: Dec 20 2023 at 11:08 UTC