comparison COPYING @ 3051:ee2654308a57

jp: default to "dark" if background is not set and can't be detected
author Goffi <goffi@goffi.org>
date Thu, 03 Oct 2019 22:17:19 +0200
parents 2a072735e459
children
comparison
equal deleted inserted replaced
3050:d2a26ec74b31 3051:ee2654308a57