comparison frontends/src/tools/__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 56aa0e98c92e
children
comparison
equal deleted inserted replaced
2451:d1153ce68ca0 2452:7aa863cbc47f