diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2021-01-12 08:02:24 +0100 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2021-01-12 08:02:24 +0100 |
| commit | 4d555d0fffc914a2a4ac9874416cdaaf8f8c9e74 (patch) | |
| tree | cc025918f0a5e67f7604a8b7d7904976a8760f28 /tests/examplefiles/example.thy | |
| parent | fc3b05ddf25933e45f670534f79fd1df870e142a (diff) | |
| download | pygments-git-2.7.4.tar.gz | |
Bump version to 2.7.4.2.7.4
Diffstat (limited to 'tests/examplefiles/example.thy')
0 files changed, 0 insertions, 0 deletions