diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-25 08:58:25 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-25 08:58:25 -0500 |
| commit | c54cd278ce7f33c504d04e09edff887becf05d8e (patch) | |
| tree | 3c8835d3e39befd42d6af35d02d92cca006bc86f /src/expl_env.sig | |
| parent | 43323a06bfe156d4fe39e50bb96898bb985e41a6 (diff) | |
Include microseconds in uw_Basis_sqlifyTime() output
Diffstat (limited to 'src/expl_env.sig')
0 files changed, 0 insertions, 0 deletions