Rename record002 test to the correct name!
Oops
commit9b1b1f11600d1fbe8941fbd525123bbb51b6490c
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 1 May 2014, 21:39 (12 years ago)
parent05a46f2
test/record002/expected → test/records002/expectedrenamed
The content is the same.
test/record002/record002.idr → test/records002/record002.idrrenamed
The content is the same.
test/record002/run → test/records002/runrenamed
The content is the same.