diff options
| author | Poliorcetics | 2022-08-17 01:37:10 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-17 01:37:10 +0000 |
| commit | 6618cf2d685dbf2255c7357ba90326baba70cb1f (patch) | |
| tree | 8e4f899bcdbdc06aa0a39f27ffbf92bec73a4d17 /runtime/queries/lean/injections.scm | |
| parent | 956fbab488634edbb4b038c826be5f1d9d98831d (diff) | |
feat: shorten output for grammar fetching and building (#3396)
New look:
```
Fetching 102 grammars
98 up to date git grammars
4 updated grammars
bash now on 275effdfc0edce774acf7d481f9ea195c6c403cd
beancount now on 4cbd1f09cd07c1f1fabf867c2cf354f9da53cc4c
c now on f05e279aedde06a25801c3f2b2cc8ac17fac52ae
c-sharp now on 53a65a908167d6556e1fcdb67f1ee62aac101dda
```
```
Building 102 grammars
100 grammars already built
2 grammars built now
["bash", "rust"]
```
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions