diff themes/__init__.py @ 1046:614843c49d6c

server: fixed unicode exception if old URL in url_redirections had a unicode character
author Goffi <goffi@goffi.org>
date Wed, 24 Jan 2018 21:44:26 +0100
parents 1a19ee7d8d8a
children
line wrap: on
line diff