diff options
| author | Andrew Helwer <ahelwer@protonmail.com> | 2021-08-29 20:26:37 -0700 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2021-08-30 07:35:12 +0200 |
| commit | 2d1e142451d4032235627d4429f16a739b1d679c (patch) | |
| tree | 11e894e0929006954fb0481083518de61d6887d7 /scripts | |
| parent | 1f769e9b081f2fe6c573e933dc2c0af64b8e6855 (diff) | |
Updated highlight queries for tlaplus
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions