diff options
| author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2023-04-30 09:58:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-30 09:58:45 +0200 |
| commit | 4575f888183c65eb50f55963b9e20f5af5757b53 (patch) | |
| tree | e8fffd0b7efdf9087ed808b17e5efb5c8e3940a5 /tests/examplefiles/python | |
| parent | 013193b542e9f76b799dd6d9665b3aad3cc07ba0 (diff) | |
| download | pygments-git-4575f888183c65eb50f55963b9e20f5af5757b53.tar.gz | |
[elpi] handle quotations (#2419)
Co-authored-by: Jean Abou Samra <jean@abou-samra.fr>
Diffstat (limited to 'tests/examplefiles/python')
0 files changed, 0 insertions, 0 deletions
