git.iko.soy/Idris-dev
on master help sign in
Rename test038 to test040.
commitbd3d70de1ed5d3423c874fa0cdd84318d7b3efd8 authorMatus Tejiscak <ziman@functor.sk> dateTue 28 Jan 2014, 13:34 (13 years ago) parente914ae0
7 files changed
compare with master
unifiedsplit
test/test038/A.idr → test/test040/A.idr test/test038/B/C.idr → test/test040/B/C.idr test/test038/Faulty.idr → test/test040/Faulty.idr test/test038/Main.idr → test/test040/Main.idr test/test038/Multiple.idr → test/test040/Multiple.idr test/test038/expected → test/test040/expected test/test038/run → test/test040/run
test/test038/A.idr → test/test040/A.idrrenamed

The content is the same.

test/test038/B/C.idr → test/test040/B/C.idrrenamed

The content is the same.

test/test038/Faulty.idr → test/test040/Faulty.idrrenamed

The content is the same.

test/test038/Main.idr → test/test040/Main.idrrenamed

The content is the same.

test/test038/Multiple.idr → test/test040/Multiple.idrrenamed

The content is the same.

test/test038/expected → test/test040/expectedrenamed

The content is the same.

test/test038/run → test/test040/runrenamed

The content is the same.