diff doc/conf.py @ 358:8efed1d47d9f

core: don't crash when a widget without profiles switch to default widget
author Goffi <goffi@goffi.org>
date Sat, 18 Jan 2020 23:12:52 +0100
parents aafd814e34b5
children 1da3c379205b
line wrap: on
line diff