diff options
| author | Paul Scott | 2022-05-14 02:39:36 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-05-20 01:28:52 +0000 |
| commit | e680f9644d485bcb5b9518515739f682d5a683f6 (patch) | |
| tree | 7115a6ce5a92df6de88e548e47c13f99e34b3698 /runtime/queries/lean/injections.scm | |
| parent | abef250c58620fb0a439b13b9f857a5b661e325f (diff) | |
Python handling highlighting parameters with defaults
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions