Michael Davis
fb4d703b9f
Update Nix highlights
...
* Switch nix grammar repository location to the new repo. The author
has transferred the repository to 'nix-community'.
* Capture ':' and '...' as 'punctuation.delimiter'.
2023-03-14 10:56:49 +09:00
..
2022-09-13 01:53:55 -05:00
2022-08-24 16:14:56 -05:00
2022-12-14 08:42:11 -06:00
2022-09-18 12:06:51 -05:00
2022-08-08 17:59:55 -05:00
2022-12-08 22:33:08 -06:00
2022-11-14 19:43:22 -06:00
2023-03-11 11:50:11 +09:00
2022-10-15 11:29:50 -05:00
2022-10-17 10:35:15 +09:00
2022-06-16 11:47:52 -05:00
2022-11-18 14:13:13 -06:00
2023-03-03 10:03:03 -06:00
2022-12-05 14:40:41 +09:00
2022-05-01 09:34:46 -05:00
2023-01-10 19:57:10 -06:00
2023-01-09 02:12:04 +09:00
2022-11-27 19:11:12 -06:00
2022-07-31 07:04:57 -05:00
2022-11-01 19:44:56 -05:00
2022-08-23 21:35:57 -05:00
2022-08-31 17:45:23 +09:00
2023-02-13 11:04:31 +09:00
2022-09-06 12:02:37 +09:00
2021-12-21 18:22:15 +09:00
2022-07-30 12:34:00 -05:00
2023-03-06 10:15:03 -06:00
2022-11-24 11:07:05 +09:00
2022-04-13 14:28:51 +09:00
2022-04-10 08:23:06 +09:00
2022-11-20 18:36:19 -06:00
2023-02-25 12:55:44 -06:00
2022-07-03 16:19:12 -05:00
2023-01-30 08:56:42 -06:00
2022-04-10 08:23:06 +09:00
2023-03-14 10:56:49 +09:00
2022-08-24 09:51:10 -05:00
2022-04-18 13:12:47 +09:00
2022-07-10 11:27:44 -05:00
2023-03-05 12:41:18 -06:00
2022-05-05 08:47:28 -05:00
2022-07-05 21:49:54 -05:00
2022-01-09 22:10:20 +08:00
2022-05-05 08:47:28 -05:00
2023-02-19 11:34:47 -06:00
2022-11-24 11:07:05 +09:00
2022-07-12 10:13:57 -05:00
2023-03-07 18:33:13 -06:00
2023-03-05 12:41:18 -06:00
2022-04-20 11:16:02 -05:00
2022-07-26 10:17:28 +09:00
2022-04-20 11:16:02 -05:00
2022-01-21 23:16:40 +09:00
2022-08-31 17:45:23 +09:00
2022-12-10 14:03:18 -06:00
2022-05-04 14:51:31 +09:00
2022-11-24 11:07:05 +09:00
2023-02-10 11:32:04 -06:00
2022-11-20 12:51:58 -06:00
2022-01-25 15:50:34 +09:00
2022-10-31 19:23:09 -05:00
2022-11-26 10:17:10 -06:00
2022-08-03 14:09:44 +09:00
2022-06-20 10:55:51 -05:00
2022-03-31 00:08:07 +09:00
2022-09-08 09:04:18 -05:00
2022-09-26 18:27:54 -05:00
2022-11-05 13:30:40 -05:00
2022-10-29 10:33:23 -05:00
2022-07-05 21:49:54 -05:00
2022-11-28 09:19:16 -06:00
2022-07-05 21:49:54 -05:00
2022-07-06 07:35:36 -05:00
2022-03-31 00:08:07 +09:00
2022-03-31 00:08:07 +09:00
2022-03-31 00:08:07 +09:00
2022-10-12 08:45:56 -05:00
2022-07-05 21:49:54 -05:00
2023-02-25 12:40:02 -06:00
2023-02-25 12:40:02 -06:00
2022-12-17 13:44:08 -06:00
2022-12-14 07:51:00 -06:00
2022-11-15 20:17:03 -06:00
2023-02-03 08:24:22 -06:00
2023-02-25 12:53:37 -06:00
2022-04-29 07:34:15 -05:00
2023-03-14 10:56:49 +09:00
2022-04-22 09:37:51 -05:00
2022-03-31 00:08:07 +09:00
2022-01-21 00:50:06 +09:00
2022-05-05 12:09:09 -05:00
2022-06-06 12:26:56 -05:00
2022-03-20 17:14:30 -05:00
2022-08-25 17:59:02 -05:00
2023-02-10 11:12:46 -06:00
2023-02-07 17:24:26 -06:00
2022-03-31 00:08:07 +09:00
2023-03-13 19:21:44 -05:00
2023-02-20 17:04:17 -06:00
2023-01-10 19:54:19 -06:00
2023-01-06 06:12:51 -06:00
2022-03-31 00:08:07 +09:00
2023-03-03 13:12:37 -06:00
2022-10-14 11:57:52 -05:00
2023-01-07 14:39:31 +09:00
2022-11-22 21:49:02 -06:00
2022-09-29 13:11:45 -05:00
2022-11-30 23:27:08 +09:00
2022-08-14 08:35:15 -05:00
2022-10-20 16:30:16 -05:00
2022-04-08 09:30:44 +09:00
2022-04-05 07:39:22 -05:00
2023-03-04 20:36:01 -06:00
2022-11-07 19:43:00 -06:00
2023-03-10 16:57:52 -06:00
2023-01-23 12:10:27 -06:00
2023-01-19 11:26:12 -06:00
2022-12-12 17:50:12 +09:00
2022-12-04 09:45:31 -06:00
2022-08-08 17:57:08 -05:00
2022-09-07 13:13:06 -05:00
2022-09-05 10:50:32 +09:00
2023-02-22 18:04:33 -06:00
2022-10-31 19:27:53 -05:00
2022-06-28 08:48:38 +05:30
2022-08-31 17:45:23 +09:00
2023-02-25 12:47:54 -06:00
2022-08-17 10:40:21 +09:00
2022-03-31 00:08:07 +09:00
2022-08-19 19:16:54 -05:00
2023-01-06 06:59:13 -06:00
2022-05-05 16:14:17 +09:00
2022-07-22 10:28:32 +09:00
2022-09-26 18:27:54 -05:00
2022-10-10 16:27:14 -05:00
2022-11-11 14:42:56 +09:00
2022-07-12 10:06:53 -05:00
2023-02-19 12:32:42 -06:00
2022-05-28 14:46:10 -05:00
2022-04-24 11:21:07 -05:00
2022-07-05 21:49:54 -05:00
2022-10-28 08:22:41 -05:00
2022-12-27 08:57:09 -06:00
2022-10-01 09:13:52 -05:00
2022-10-31 19:30:08 -05:00
2022-10-13 20:31:32 -05:00
2022-10-31 18:48:01 -05:00
2022-08-23 20:52:01 -05:00
2022-10-29 15:41:28 -05:00
2022-03-31 00:08:07 +09:00
2023-03-10 10:32:45 -06:00
2022-11-14 19:46:38 -06:00