git.iko.soy/Idris-dev
on master help sign in
Bump test number.
commit62d6916eac5cd3d91bd7724698d2da4959315bfd authorMatus Tejiscak <ziman@functor.sk> dateFri 12 Feb 2016, 10:21 (11 years ago) parent7932b7f
7 files changed
compare with master
unifiedsplit
test/primitives005/Data/ByteArray.idr → test/primitives006/Data/ByteArray.idr test/primitives005/Data/Bytes.idr → test/primitives006/Data/Bytes.idr test/primitives005/array.c → test/primitives006/array.c test/primitives005/array.h → test/primitives006/array.h test/primitives005/expected → test/primitives006/expected test/primitives005/load-test.idr → test/primitives006/load-test.idr test/primitives005/run → test/primitives006/run
test/primitives005/Data/ByteArray.idr → test/primitives006/Data/ByteArray.idrrenamed

The content is the same.

test/primitives005/Data/Bytes.idr → test/primitives006/Data/Bytes.idrrenamed

The content is the same.

test/primitives005/array.c → test/primitives006/array.crenamed

The content is the same.

test/primitives005/array.h → test/primitives006/array.hrenamed

The content is the same.

test/primitives005/expected → test/primitives006/expectedrenamed

The content is the same.

test/primitives005/load-test.idr → test/primitives006/load-test.idrrenamed

The content is the same.

test/primitives005/run → test/primitives006/runrenamed

The content is the same.