Typesetter-Original-gtbu/.easymin
2021-09-08 19:52:21 +02:00
..
ignore_prefixes 1st 2021-09-08 19:52:21 +02:00
ignore_types 1st 2021-09-08 19:52:21 +02:00
noshrink_paths 1st 2021-09-08 19:52:21 +02:00