diff options
author | Javier <dev.git@javispedro.com> | 2015-06-21 20:49:42 +0200 |
---|---|---|
committer | Javier <dev.git@javispedro.com> | 2015-06-21 20:49:42 +0200 |
commit | d334906cdb5ad988c9e3ad1e9827eab774d1a283 (patch) | |
tree | b0207db387da9fab419ae25f4ebcb995636da6d4 /paperreplay.cc | |
parent | a27ad0c43b3b5202fa71e1e857ba7955df46338d (diff) | |
download | scribiu-d334906cdb5ad988c9e3ad1e9827eab774d1a283.tar.gz scribiu-d334906cdb5ad988c9e3ad1e9827eab774d1a283.zip |
use pen time, not host wall clock to store lastsync timestamp
Diffstat (limited to 'paperreplay.cc')
0 files changed, 0 insertions, 0 deletions