diff options
| author | Termina94 | 2022-06-05 10:52:41 +0000 |
|---|---|---|
| committer | GitHub | 2022-06-05 10:52:41 +0000 |
| commit | f1ae496860e10560d9a8b91a721168524411096a (patch) | |
| tree | c01cdbc92f01c4cad005cc88809ca3e5edf1b76c /runtime/queries/lean/highlights.scm | |
| parent | f92a25a856d572c7bd4b8e597a3f86ce211e81d5 (diff) | |
Add shell insert commands to typable and config (#2589)
* Add shell insert commands to typable and config
* generate docs
Co-authored-by: Dean Revell <revell@gmail.com>
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
0 files changed, 0 insertions, 0 deletions