diff configmix/variables.py @ 476:eddc0f7c6271

Optimize ._split_filters() for the most common case of no-filters: use s.partition() first
author Franz Glasner <f.glasner@feldmann-mg.com>
date Fri, 17 Dec 2021 11:09:14 +0100
parents d2751a80d9b7
children 6b3da9e5acc6
line wrap: on
line diff