Skip to content

Rename Agda-2.6.3.diff => Agda-2.6.3.patch

Vladislav Zavialov requested to merge wip/rename-agda-2.6.3 into master

The patch was not applied because of incorrect file extension.

Merge request reports