Skip to content

Commit

Permalink
Merge pull request #1643 from sharkdp/dependabot/submodules/assets/sy…
Browse files Browse the repository at this point in the history 
…ntaxes/02_Extra/Lean-29a03a8

Bump assets/syntaxes/02_Extra/Lean from `824213d` to `29a03a8`
  • Loading branch information
@sharkdp
sharkdp committed May 12, 2021
2 parents 9866408 + 09711cd commit fb0f12a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion assets/syntaxes/02_Extra/Lean
Submodule Lean updated 9 files
+1 −1 README.md
+3 −2 infoview/messages.tsx
+1 −0 infoview/server.ts
+4 −0 infoview/svg_icons.tsx
+8,152 −37 package-lock.json
+1 −1 package.json
+13 −5 src/abbreviation/rewriter/AbbreviationRewriter.ts
+25 −0 src/diagnostics.ts
+2 −27 src/server.ts

0 comments on commit fb0f12a

Please sign in to comment.