| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | agda: allow ticks in module names | Georg Brandl | 2022-06-17 | 1 | -1/+1 |
| | | | | | Fixes #2163 | ||||
| * | Also add auto-updatable output-based tests to examplefiles (#1689) | Oleh Prypin | 2021-01-20 | 1 | -0/+109 |
| Co-authored-by: Georg Brandl <georg@python.org> | |||||
