Rename the main testing program.
authorKim Nguyễn <kn@lri.fr>
Sat, 9 Mar 2013 21:40:19 +0000 (22:40 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 9 Mar 2013 21:40:19 +0000 (22:40 +0100)
commitf8bc3114d2f36de5f743a7f6695b2353090f7e36
tree3dcee2c2957b7a23fdd74c35012d16074cda1be7
parent7eb78333c3dcc85a1723bc0fe2c2e2703d27e418
Rename the main testing program.
main.itarget
src/main.ml [new file with mode: 0644]
src/test.ml [deleted file]