diff options
m--------- | assets/syntaxes/02_Extra/Lean | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/assets/syntaxes/02_Extra/Lean b/assets/syntaxes/02_Extra/Lean -Subproject 824213de37245140d75cdcffb3fbd6f61f73a97 +Subproject 29a03a8abaa884bde65b3c3dd1e46e87bb0fbfc |