Typeable changes to time while waiting for the upstream to update
authorJose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Tue, 12 Feb 2013 11:58:37 +0000 (11:58 +0000)
committerJose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Tue, 12 Feb 2013 11:59:44 +0000 (11:59 +0000)
commitfaced9bf0af8a535cb43f5e8487be1cd896df6bd
treef4b74d22eb8cdfc30087be8924b3341fa49f2f01
parentadbd30cd66e4a859ebe97464fd69a1d776ae4850
Typeable changes to time while waiting for the upstream to update
libraries/time