diff src/tools/common/template_xmlui.py @ 2452:7aa863cbc47f

template: remove extension from elements while looking for a path: this way, extension doesn't need to be provided for a CSS file for a single page.
author Goffi <goffi@goffi.org>
date Thu, 30 Nov 2017 20:58:34 +0100
parents 49884c579266
children 7b02372f8734
line wrap: on
line diff