summaryrefslogtreecommitdiff
path: root/src/expl_env.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-25 08:58:25 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-25 08:58:25 -0500
commitc54cd278ce7f33c504d04e09edff887becf05d8e (patch)
tree3c8835d3e39befd42d6af35d02d92cca006bc86f /src/expl_env.sig
parent43323a06bfe156d4fe39e50bb96898bb985e41a6 (diff)
Include microseconds in uw_Basis_sqlifyTime() output
Diffstat (limited to 'src/expl_env.sig')
0 files changed, 0 insertions, 0 deletions