diff options
| author | Adrien nayrat <adrien.nayrat@anayrat.info> | 2023-04-20 15:06:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-20 15:06:39 +0200 |
| commit | 50207e008d92f7a8750a8d080863e5cada0b0fca (patch) | |
| tree | 4c3df92b5af51c5f7fb359adcc451d11276e0280 /tests/examplefiles/lean | |
| parent | 80a39adfbb5804a0caf473a1cf808c9641916b17 (diff) | |
| download | pygments-git-50207e008d92f7a8750a8d080863e5cada0b0fca.tar.gz | |
Add Pre-sorted Group keyword (#2417)
Diffstat (limited to 'tests/examplefiles/lean')
0 files changed, 0 insertions, 0 deletions