view src/stdui/__init__.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 b3076b5797f6
children
line wrap: on
line source