diff src/gui/theme.cc @ 331:3c755136f074

CI: update for new repository URL
author Paper <paper@paper.us.eu.org>
date Mon, 17 Jun 2024 18:30:54 -0400
parents 91ac90a34003
children c844f8bb87ce
line wrap: on
line diff