Rename test reg040 to avoid clash
commit93022211d47b066a25e30cca654523f780d7dc3d
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 20 Apr 2014, 16:42 (13 years ago)
parentd8a6925
test/reg040/expected → test/reg041/expectedrenamed
The content is the same.
test/reg040/ott.idr → test/reg041/ott.idrrenamed
The content is the same.
test/reg040/run → test/reg041/runrenamed
The content is the same.
test/reg040/showu.idr → test/reg041/showu.idrrenamed
The content is the same.