Johannes Wienke
96b90b45db
Use JSON output with vale
...
Switches all vale instances to JSON output and provides an appropriate
handler for that. Without JSON, no end_col is provided and text
highlighting only catches the first character of every result.
2017-12-17 16:49:57 +01:00
..
2017-12-13 14:37:49 +01:00
2017-12-13 11:14:31 +00:00
2017-11-15 17:21:17 +00:00
2017-09-13 23:33:13 +01:00
2017-11-16 01:01:59 +02:00
2017-11-18 18:29:12 +00:00
2017-10-25 22:29:36 +01:00
2017-11-15 22:23:46 +00:00
2017-11-15 17:21:17 +00:00
2017-11-18 23:15:23 +00:00
2017-07-09 22:43:31 +01:00
2017-11-15 11:28:16 +00:00
2017-11-15 17:21:17 +00:00
2017-11-15 17:21:17 +00:00
2017-09-13 23:30:39 +01:00
2017-11-15 17:21:17 +00:00
2017-07-18 23:57:33 +01:00
2017-11-15 17:21:17 +00:00
2017-11-20 10:57:13 +00:00
2017-09-11 22:25:15 +01:00
2017-11-15 17:21:17 +00:00
2017-11-16 09:34:24 +00:00
2017-11-28 10:12:49 +00:00
2017-11-12 10:56:53 +00:00
2017-11-21 13:38:33 +00:00
2017-11-15 17:21:17 +00:00
2017-11-12 10:56:53 +00:00
2017-11-26 18:24:10 +00:00
2017-09-03 21:53:48 +01:00
2017-09-08 11:06:47 +01:00
2017-11-20 23:50:14 +09:00
2017-12-04 18:42:36 +00:00
2017-07-18 13:14:02 +01:00
2017-10-01 18:41:41 +01:00
2017-11-05 15:33:31 +00:00
2017-11-18 23:55:47 +00:00
2017-11-12 11:35:01 +00:00
2017-11-15 17:21:17 +00:00
2017-11-19 00:02:35 +00:00
2017-11-19 00:19:09 +00:00
2017-11-19 00:19:09 +00:00
2017-09-11 22:25:15 +01:00
2017-11-15 17:21:17 +00:00
2017-11-19 00:38:00 +00:00
2017-11-15 17:21:17 +00:00
2017-09-11 22:25:15 +01:00
2017-11-12 10:56:53 +00:00
2017-12-13 21:23:18 +00:00
2017-11-15 17:21:17 +00:00
2017-11-15 17:21:17 +00:00
2017-08-21 18:42:18 +01:00
2017-12-01 17:04:30 +00:00
2017-12-02 12:29:17 +00:00
2017-11-28 10:12:49 +00:00
2017-11-17 18:11:28 +00:00
2017-11-15 17:35:34 +00:00
2017-09-11 22:25:15 +01:00
2017-11-21 15:49:04 +09:00
2017-11-19 00:54:09 +00:00
2017-11-15 17:21:17 +00:00
2017-11-15 17:21:17 +00:00
2017-11-15 17:21:17 +00:00
2017-11-14 17:50:15 +01:00
2017-11-15 17:21:17 +00:00
2017-09-10 00:06:31 +01:00
2017-11-15 17:21:17 +00:00
2017-10-15 00:20:43 +01:00
2017-11-15 17:21:17 +00:00
2017-11-15 17:26:52 +00:00
2017-11-19 01:08:20 +00:00
2017-11-15 17:21:17 +00:00
2017-12-05 16:02:15 -03:00
2017-11-15 17:21:17 +00:00
2017-06-21 11:15:05 +01:00
2017-11-19 12:30:20 +00:00
2017-11-19 12:46:06 +00:00
2017-11-19 13:33:20 +00:00
2017-08-19 17:18:48 +03:00
2017-11-19 13:37:56 +00:00
2017-08-30 11:08:06 -07:00
2017-12-10 10:12:26 +00:00
2017-11-15 17:21:17 +00:00
2017-12-17 16:49:57 +01:00
2017-10-25 22:29:36 +01:00
2017-10-25 00:58:16 +01:00
2017-11-15 17:21:17 +00:00