diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-11-27 23:50:59 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-11-27 23:50:59 +0100 |
| commit | 9041840d6e1caa5a0a4f8222b312b547ccd2ab1b (patch) | |
| tree | 9e9963bed10409327f3e50693347227e2023c9ac /doc/highlight.pack.js | |
| parent | aa79aca12f6590412992a688460d141d8570e93c (diff) | |
round timestamp so that the exchange does not crash when converting to JSON
Diffstat (limited to 'doc/highlight.pack.js')
0 files changed, 0 insertions, 0 deletions