diff options
| author | Joris | 2022-02-13 12:17:00 +0100 |
|---|---|---|
| committer | Joris | 2022-02-13 12:17:00 +0100 |
| commit | 8a29f30fb2a949c03b318c4f7699136a8001be37 (patch) | |
| tree | 51decc33aa776201bc800dc2196bc4f8b72337d7 /src/util/mod.rs | |
| parent | 8170fb5e432cc81986479a6a3a400e009426d76a (diff) | |
Synchronize deck only if necessary
Look at the modification time of the deck, and synchronize if it has
been modified after the last deck read.
Diffstat (limited to 'src/util/mod.rs')
0 files changed, 0 insertions, 0 deletions