diff doc/conf.py @ 371:080b6cc17f53

settings: fixed wrong type for Note title when there is an error while getting XMLUI
author Goffi <goffi@goffi.org>
date Mon, 27 Jan 2020 21:17:08 +0100
parents aafd814e34b5
children 1da3c379205b
line wrap: on
line diff