diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-03-28 16:40:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-28 16:40:50 +0100 |
| commit | eae0db671c00f8203c1a61b7a87a00f4e22363a3 (patch) | |
| tree | aa26a58598f79264eca248d14da921e9d931276f /test/golden/proofassume/tokenizing.golden | |
| parent | 442d732696ad431b84f6e5c72b6ee785be4fd968 (diff) | |
| parent | ffcd13eb8c12f820ec7a49afdcb4b55479443e0d (diff) | |
Merge pull request #1 from Simon-Kor/main
Allow Windows-style newlines
Diffstat (limited to 'test/golden/proofassume/tokenizing.golden')
0 files changed, 0 insertions, 0 deletions