-
dario authored
it's now possible to give the header as template parameter as well, so that english/german mixup is less likely
cf473888
it's now possible to give the header as template parameter as well, so that english/german mixup is less likely