obsidian-plugin/tomaz1502_lean-syntax-highlight
1
0
Fork 0
mirror of https://github.com/tomaz1502/lean-syntax-highlight.git synced 2026-07-22 09:30:24 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
12 commits 2 branches 4 tags 53 KiB

Default branch

main

d4cc1c5936 · Fix version number on manifest · Updated 2025-02-05 02:59:51 +00:00

 ZIP  TAR.GZ

Branches

feat/multiline-comments

9055ba3df6 · Use defineMode to support multiline comments · Updated 2025-02-05 02:45:12 +00:00    obsidian-plugin

3
0
 Included
 ZIP  TAR.GZ