Merge 1cac34cc9bccde4557042b604732399c6373d205 into 1f7c1446f651716e2c73a0f1703f0004597caa43
commit95f02800b5035c3d2e9e8751a414054fe3385c1a
authorGitHub Merge Button <merge-button@github.com>
dateSat 6 Aug 2011, 22:02 (15 years ago)
parent65e89799b568dc
.gitignore+2
@@ -4,3 +4,5 @@ dist
44*.hi
55
66benchmarks/AesonEncode
7+
8+tests/qc