Martin von Zweigbergk e51878f4fd cli: show timestamp in local timezone and without millis and offset ... As discussed in #2900, the milliseconds are rarely useful, and it can be confusing with different timezones because it makes harder to compare timestamps. I added an environment variable to control the timestamp in a cross-platform way. I didn't document because it exists only for tests (like `JJ_RANDOMNESS_SEED`). Closes #2900		2024-03-20 07:54:08 -07:00
..
mod.rs	cli: show timestamp in local timezone and without millis and offset	2024-03-20 07:54:08 -07:00