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 49d185361a9943f440d8efe389259a3374ade90 +Subproject 824213de37245140d75cdcffb3fbd6f61f73a97 |