Ricardo Wurmus
eda2c23874
scripts/refresh: Remove column from spec line before sorting.
...
We want to sort by file and line number, but the column number messes
everything up.
This is a follow-up to commit b43841c124d15eaecc41b3928f08a26dbd5c653a.
* guix/scripts/refresh.scm (guix-refresh): Trim the digits on the right of the
location string before comparing them.
2023-07-17 13:51:54 +02:00
..
2023-07-05 18:57:29 +03:00
2023-07-13 18:20:05 +02:00
2023-07-12 14:29:02 +02:00
2022-09-24 14:49:07 +02:00
2023-07-17 13:51:54 +02:00
2023-06-18 23:36:25 +02:00
2023-05-31 23:25:24 +02:00
2023-05-11 13:23:08 +02:00
2023-07-11 15:47:56 +02:00
2023-03-13 15:08:33 +01:00
2022-05-31 14:54:02 -04:00
2023-07-11 15:47:56 +02:00
2023-06-04 11:30:18 +02:00
2023-06-02 15:47:27 +02:00
2022-04-19 18:07:49 +02:00
2023-02-25 14:50:33 -05:00
2023-07-12 16:48:28 +03:00
2023-05-11 13:23:08 +02:00
2022-04-12 20:32:32 +02:00
2023-03-13 15:08:33 +01:00
2023-05-31 23:25:25 +02:00
2023-03-13 15:08:33 +01:00
2023-07-09 02:00:01 +02:00
2023-05-04 13:08:59 +02:00
2023-02-27 15:54:09 +01:00
2023-03-13 15:08:33 +01:00
2023-05-11 13:23:08 +02:00
2023-03-13 15:08:33 +01:00
2023-03-13 15:08:33 +01:00
2022-11-11 23:17:42 +01:00
2023-03-13 15:08:33 +01:00
2022-01-06 16:27:30 +01:00
2023-05-11 13:23:08 +02:00
2022-05-22 01:07:52 +02:00
2023-01-26 11:11:18 +01:00
2023-03-13 15:08:33 +01:00
2022-06-10 23:52:34 -04:00
2023-03-10 14:49:58 +01:00
2023-05-06 17:12:45 +02:00
2022-03-02 00:00:55 -05:00
2022-12-02 23:20:54 +01:00
2022-07-15 17:36:57 +02:00
2022-07-10 23:57:14 +02:00
2023-05-30 00:15:29 +02:00
2023-06-14 22:54:30 +02:00
2023-03-13 15:08:33 +01:00
2023-07-13 19:00:14 +02:00
2023-05-04 13:09:00 +02:00
2023-02-19 10:09:15 +01:00
2023-06-04 10:59:25 +02:00
2023-06-09 14:19:14 +02:00
2023-03-13 15:08:33 +01:00
2023-02-22 10:41:35 -05:00
2023-03-13 15:08:33 +01:00
2023-03-06 21:27:06 -05:00
2023-05-25 12:51:16 +02:00
2023-03-13 15:08:33 +01:00
2023-04-19 20:12:20 -04:00
2023-04-12 08:29:37 -04:00
2023-03-13 15:08:33 +01:00
2023-03-27 18:48:51 +02:00
2023-04-12 08:29:26 -04:00
2022-02-14 11:23:07 +01:00
2023-07-12 16:48:28 +03:00
2023-06-14 22:54:30 +02:00
2023-05-31 23:25:26 +02:00
2023-06-17 14:38:32 +02:00