Use a submodule for the time package
authorIan Lynagh <ian@well-typed.com>
Sun, 2 Dec 2012 16:49:36 +0000 (16:49 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 2 Dec 2012 16:58:21 +0000 (16:58 +0000)
commit8fd3f3cebaccd270e10bc7b288a169ea9d0d5e29
treebae7154162dc72a778f39e75ff1d7d4e02189ecf
parent691c8a8cef3b26a7f4734a6f7b69871a0ed726fd
Use a submodule for the time package

This bring the time package into line with how we handle other
packages.
.gitignore
.gitmodules
boot
libraries/tarballs/time-1.4.0.1.tar.gz [deleted file]
libraries/time [new submodule]
packages