diff options
| author | Matth?us G. Chajdas <dev@anteru.net> | 2019-05-21 18:33:45 +0200 |
|---|---|---|
| committer | Matth?us G. Chajdas <dev@anteru.net> | 2019-05-21 18:33:45 +0200 |
| commit | ca55a53c19c06f17ac5fa9381c752f45144b12f6 (patch) | |
| tree | 2f22a261401c57a7737642c90ef9b277f7ed75ac /tests/examplefiles/example.thy | |
| parent | fa473ff605f5192bfbff5ce87a8028c0e984fc99 (diff) | |
| download | pygments-git-ca55a53c19c06f17ac5fa9381c752f45144b12f6.tar.gz | |
Update CHANGES.
Diffstat (limited to 'tests/examplefiles/example.thy')
0 files changed, 0 insertions, 0 deletions