Andy McFadden
3ea07f3eb7
Tweak comment entry UI ...
End-of-line comments have a couple of guidelines: keep it short, and
don't use non-ASCII characters. Violating these isn't an error, so
we should be making the text blue rather than red.
2021-11-03 20:23:27 -07:00
2021-06-08 13:15:19 -07:00
2019-10-25 18:16:09 -07:00
2021-09-30 21:11:26 -07:00
2019-09-21 18:49:03 -07:00
2021-10-20 09:06:53 -07:00
2021-10-20 09:06:53 -07:00
2021-10-15 10:01:14 -07:00
2021-10-15 10:01:14 -07:00
2019-12-25 10:28:40 -08:00
2020-03-07 17:05:08 -08:00
2019-09-18 18:11:48 -07:00
2021-11-03 20:23:27 -07:00
2020-07-10 13:29:36 -07:00
2021-09-16 17:02:19 -07:00
2021-10-13 15:05:07 -07:00
2021-10-13 15:05:07 -07:00
2021-10-17 18:02:29 -07:00
2021-07-20 13:08:19 -07:00
2021-10-16 14:46:13 -07:00
2021-10-16 14:46:13 -07:00
2021-10-02 15:43:41 -07:00
2021-10-02 15:43:41 -07:00
2020-08-27 17:09:18 -07:00
2020-08-27 17:09:18 -07:00
2019-11-01 19:47:56 -07:00
2019-09-01 16:40:54 -07:00
2019-11-26 18:54:42 -08:00
2020-03-13 13:58:52 -07:00
2020-03-13 13:58:52 -07:00
2020-10-10 15:46:34 -07:00
2020-10-10 15:46:34 -07:00
2021-06-03 17:16:07 -07:00
2020-06-20 17:32:57 -07:00
2020-06-20 17:32:57 -07:00
2020-03-09 13:56:20 -07:00
2020-03-09 13:56:20 -07:00
2019-12-13 17:15:38 -08:00
2020-07-16 10:48:03 -07:00
2020-06-20 17:32:57 -07:00
2020-06-20 17:32:57 -07:00
2019-10-09 17:47:07 -07:00
2019-10-09 17:47:07 -07:00
2020-10-15 16:55:29 -07:00
2020-10-15 16:55:29 -07:00
2021-07-30 14:40:17 -07:00
2021-10-20 09:06:53 -07:00
2021-10-25 15:45:42 -07:00
2020-07-01 11:06:23 -07:00
2019-10-27 10:38:29 -07:00
2019-10-26 13:20:54 -07:00
2020-03-09 13:56:20 -07:00
2020-04-11 17:24:21 -07:00
3ea07f3eb7