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
tomaz1502_lean-syntax-highl.../versions.json
tomaz1502 f8bef9ebb3 first commit
2024-01-20 20:23:07 +01:00

3 lines
24 B
JSON
Raw Permalink Blame History

{
"0.0.1": "0.15.0"
}
Reference in a new issue View git blame Copy permalink