random is a submodule
authorIan Lynagh <ian@well-typed.com>
Sun, 3 Feb 2013 15:31:43 +0000 (15:31 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 3 Feb 2013 15:31:43 +0000 (15:31 +0000)
commitd034b5ac83fa111a9aea4f6ace32c52ece711832
treea40fb91669866c6f25e1945c6cbe633236b62c6d
parent7d6fece2e7c1e98928b939dc483522d79fe6b7d6
random is a submodule

Looks like I forgot to make it one in the original conversion
.gitignore
.gitmodules
libraries/random [new submodule]
packages