Skip to content

Commit e202d61

Browse files
thiagofelicissimothiagofelicissimo
committed
rename agda_ files to agda
1 parent bbbe947 commit e202d61

File tree

4 files changed

+0
-0
lines changed

4 files changed

+0
-0
lines changed

Diff for: ‎tests/files/coindMus.agda_ renamed to ‎tests/files/coindMus.agda

File renamed without changes.

Diff for: ‎tests/files/coindMusFormLang.agda_ renamed to ‎tests/files/coindMusFormLang.agda

File renamed without changes.

Diff for: ‎tests/files/musical-Stream.agda_ renamed to ‎tests/files/musical-Stream.agda

File renamed without changes.

Diff for: ‎tests/files/sized_types.agda_ renamed to ‎tests/files/sized_types.agda

File renamed without changes.

0 commit comments

Comments
 (0)