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