Marco afd7a3cf11 change pager behavior

2022-01-12 11:59:52 +01:00

..

config

change pager behavior

2022-01-12 11:59:52 +01:00

ignore

truncate history

2020-06-11 21:16:05 +02:00