summaryrefslogtreecommitdiff
path: root/doc/manual.tex
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
commita090c56aad2934d397d23df2a7b17156b12695a1 (patch)
tree3c8835d3e39befd42d6af35d02d92cca006bc86f /doc/manual.tex
parent928db0bf3aa8a149d0e1632f07eb7672ec65add3 (diff)
Include microseconds in uw_Basis_sqlifyTime() output
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions