diff options
author | Patrick Hurst <phurst@mit.edu> | 2013-12-08 03:25:31 -0500 |
---|---|---|
committer | Patrick Hurst <phurst@mit.edu> | 2013-12-08 03:25:31 -0500 |
commit | 90da978a70db75e8e9f96e96a41164fceff2b425 (patch) | |
tree | f2e47ed10fbecb77303fca9da332aba6bf546796 /demo/outer.urs | |
parent | b2873bdd07801753460bd6f1b9efcc235a2f0268 (diff) |
Rename datetime type to t in the .urs file.
Diffstat (limited to 'demo/outer.urs')
0 files changed, 0 insertions, 0 deletions