Stefan Haller
de3e4838ad
Store WorkingTreeState in model
...
This is the working tree state at the time the model commits were loaded. This
avoids a visual glitch with the "You Are Here" label appearing at times when it
is not supposed to.
2023-03-01 09:12:00 +01:00
..
2023-02-18 10:19:34 +11:00
2023-02-25 11:39:24 +11:00
2022-11-12 18:09:15 -03:30
2022-10-18 22:20:03 +09:00
2023-02-25 21:37:16 +11:00
2022-04-02 17:04:42 +11:00
2022-08-06 13:49:11 +10:00
2023-01-06 10:51:09 +09:00
2023-03-01 09:12:00 +01:00
2022-11-25 22:46:36 +01:00
2023-02-03 23:36:59 +09:00
2023-03-01 09:12:00 +01:00
2022-11-14 00:53:55 +03:00
2022-11-14 01:04:56 +03:00
2022-12-24 19:14:52 +11:00
2022-08-07 12:05:51 +10:00
2023-02-19 11:42:00 +11:00
2023-02-07 12:14:29 +01:00
2022-08-07 11:16:03 +10:00
2023-02-07 12:14:29 +01:00
2023-02-11 21:19:47 +09:00
2022-12-30 12:18:59 +11:00
2022-08-06 13:49:11 +10:00
2022-12-30 12:18:59 +11:00
2023-01-29 10:03:59 +05:30
2022-03-17 19:13:40 +11:00
2023-02-07 12:14:29 +01:00
2022-12-30 20:01:14 +09:00
2022-10-05 22:29:55 +09:00
2022-05-08 14:26:18 +10:00
2022-03-17 19:13:40 +11:00
2022-10-15 20:09:23 +09:00
2022-05-08 14:26:18 +10:00
2022-03-30 20:13:43 +11:00
2022-08-07 11:16:03 +10:00
2022-08-07 12:05:51 +10:00
2023-02-25 11:35:41 +11:00
2023-01-16 20:07:21 +05:30
2022-05-07 18:02:09 +09:00
2023-02-20 19:28:45 +11:00
2023-02-10 21:26:51 +09:00
2023-03-01 09:12:00 +01:00
2022-10-02 20:41:24 -07:00
2022-08-07 11:16:03 +10:00
2022-09-16 22:15:16 -07:00
2023-02-09 20:13:41 +09:00
2021-09-16 21:38:43 +08:00
2022-08-06 13:49:11 +10:00
2022-03-30 20:13:43 +11:00
2022-09-17 15:10:41 -07:00
2023-02-07 12:14:29 +01:00
2023-03-01 09:12:00 +01:00
2022-08-07 12:05:51 +10:00
2022-08-07 12:05:51 +10:00
2022-08-07 11:16:03 +10:00
2022-08-06 13:49:11 +10:00
2022-12-30 12:18:59 +11:00
2022-08-07 12:05:51 +10:00
2022-08-07 12:05:51 +10:00
2023-02-07 12:14:29 +01:00
2022-08-07 12:05:51 +10:00
2022-03-17 19:13:40 +11:00
2022-08-07 12:05:51 +10:00
2022-08-07 11:16:03 +10:00
2022-12-21 22:51:39 +11:00
2022-08-07 11:16:03 +10:00
2023-02-20 19:28:45 +11:00
2023-02-15 21:29:38 +01:00
2023-02-07 12:09:17 +01:00
2022-12-30 12:18:59 +11:00