Yuxuan Shui 9c4b8334ad
config: remove the --paint-on-overlay option
Deprecated since v4

Signed-off-by: Yuxuan Shui <yshuiv7@gmail.com>
2020-04-11 16:15:21 +01:00
..
2019-08-10 00:56:26 +01:00
2020-03-29 19:15:07 +01:00
2019-05-21 20:15:29 +01:00
2019-08-10 00:56:26 +01:00
2019-05-21 20:15:33 +01:00
2020-03-31 07:11:02 +01:00
2020-03-29 19:15:07 +01:00
2020-03-29 19:15:07 +01:00
2020-03-29 19:17:52 +01:00
2019-05-21 20:15:29 +01:00
2019-03-23 14:35:22 +00:00
2019-05-21 20:15:30 +01:00
2019-05-21 20:15:30 +01:00
2020-02-26 20:16:55 +00:00
2020-03-31 05:59:44 +01:00
2019-05-21 20:15:34 +01:00
2020-04-11 01:52:47 +01:00
2020-04-06 20:24:16 +01:00
2019-07-06 13:26:25 +01:00
2019-08-10 00:56:26 +01:00
2019-05-21 20:15:29 +01:00
2019-05-21 20:15:22 +01:00
2019-05-21 20:15:25 +01:00
2019-11-09 17:54:57 +02:00
2020-04-11 01:52:47 +01:00
x.c
2020-04-05 21:45:51 +01:00
2019-03-10 12:35:38 +00:00
2019-03-10 12:35:38 +00:00