summaryrefslogtreecommitdiff
path: root/test/golden/inductive/scanning.golden
diff options
context:
space:
mode:
authoradelon <22380201+adelon@users.noreply.github.com>2024-05-14 16:54:30 +0200
committeradelon <22380201+adelon@users.noreply.github.com>2024-05-14 16:54:30 +0200
commita583eaa4ed6ba4d65dee96f6fa01106cfef5dd78 (patch)
tree115b6f002c0e11c34fe864c88cea5ce51ac7dc75 /test/golden/inductive/scanning.golden
parente89c483a06f16cfd1e6a1c472c06e70854058654 (diff)
Update basis.tex
Diffstat (limited to 'test/golden/inductive/scanning.golden')
0 files changed, 0 insertions, 0 deletions