# ignore changes on replaced (unbundled) fonts & themes
# TODO: ignore also a "core" file, which apparently gets flagged as changed
extend-diff-ignore = "(^|/)(gui/themes/fonts/[^/]+\.ttf|gui/themes/[^/]+\.zip|core)$"
