tree a8eef4647209c868e4c0bd2f915d98bcfaa5c986
parent 607ecc4a3b7a353bf0328b3ad55f8a001cbca47f
parent 59737d60da2265e005b5937a64b55d8d0cbf7406
author Marco Crivellari <marco.crivellari@suse.com> 1786724815 +0000
committer Marco Crivellari <marco.crivellari@suse.com> 1786724815 +0000

Merge branch 'check-configs-changes' into 'master'

Flag to avoid colored output

See merge request fweisbec/dynticks-testing!23