diff doc/conf.py @ 430:edb240ff7936

core (menu): avoid crash when removing SideMenu from parent if it has already been removed
author Goffi <goffi@goffi.org>
date Sun, 01 Mar 2020 22:11:25 +0100
parents 1da3c379205b
children 3c9ba4a694ef
line wrap: on
line diff