Fix paths in record004.

Browse Source

...

This commit is contained in:

Matus Tejiscak 2020-04-21 23:45:55 +02:00

parent f4fa0340c1

commit 934cb29a80

4 changed files with 0 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0

tests/idris2/record004/record003/Main.idr → tests/idris2/record004/Main.idr

Unescape Escape View File

0

tests/idris2/record004/record003/expected → tests/idris2/record004/expected

Unescape Escape View File

0

tests/idris2/record004/record003/input → tests/idris2/record004/input

Unescape Escape View File

0

tests/idris2/record004/record003/run → tests/idris2/record004/run

Unescape Escape View File