diff src/plugins/plugin_misc_merge_requests.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 637ac234424f
children 544c4d2fec45
line wrap: on
line diff