diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-07-06 08:35:31 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-07-06 08:35:31 -0400 |
commit | a15fb9e7b0144368daa168babb283a664118e87f (patch) | |
tree | d19b9706c7ff2c9e023d8ed9a188e75d35598759 /demo/more/grid1.urs | |
parent | d56d51bc9a29262682cb08ecd1f6df7886d95850 (diff) |
Add client-side Basis.now and pretty-printing of times
Diffstat (limited to 'demo/more/grid1.urs')
0 files changed, 0 insertions, 0 deletions